| 文の形式／◆ 例文 | 真理値 | 隠喩の可否 | ||
|---|---|---|---|---|
| 記号の例 ： 真＝真である 偽＝偽である ○＝隠喩でありうる △＝Ｙが多義的な場合に隠喩でありうる ×＝隠喩でない | ||||
| ＸはＹである | 真 | 基本的に× | ||
| ◆ 彼は男である。 | △ | |||
| ◆ 彼はバカである。 | × | |||
| Ｘは本当にＹだ＝『ＸはＹである』は真である | 真 | △ | ||
| ◆ 彼は本当に男だ。 | △ | |||
| ◆ 彼は本当にバカだ。 | × | |||
| ＸはＹでない＝『ＸはＹである』は偽である | 偽 | △ | ||
| ◆ 彼は男でない。 | △ | |||
| ◆ 彼はバカでない。 | × | |||
| ＸはＹでないが；（Ｘは）Ｙである | 偽；真 | △；× | 全体として△ | |
| ◆ 彼は男でないが、男である。 | △；× | 全体として△ | ||
| ◆ 彼はバカでないが、バカである。 | ×；× | |||
| ＸはＹだが；（Ｘは）Ｙでない | 真；偽 | ×；△ | 全体として△ | |
| ◆ 彼は男だが、男でない。 | ×；△ | 全体として△ | ||
| ◆ 彼はバカだが、バカでない。 | ×；× | |||
| ＸはＹである | 偽 | 原理的に○ | ||
| ◆ 彼は狼である。 | ○ | |||
| Ｘは本当にＹだ＝『ＸはＹである』は真である | 偽 | ○ | ||
| ◆ 彼は本当に狼だ。 | ○ | |||
| ＸはＹでない＝『ＸはＹである』は偽である | 真 | ○ | ||
| ◆ 彼は狼でない。 | ○ | |||
| ＸはＹでないが；（Ｘは）Ｙである | 真；偽 | ×；○ | 全体として○ | |
| ◆ 彼は狼でないが、狼である。 | ×；○ | |||
| ＸはＹだが；（Ｘは）Ｙでない | 偽；真 | ○；× | 全体として○ | |
| ◆ 彼は狼だが、狼でない。 | ○；× | |||