Иллюстрация функционально-истинностных отношений между высказываниями
вида A, E, I, O
| А
| Е
| I
| О
| | И
| Л
| И
| Л
| | Л
| Л
| И
| Л
| | Л
| Л
| Л
| И
|
|
|
| Из таблицы 1 высказывания А и О, а также Е и I не могут быть одновременно истинными и ложными. Это означает, высказывание вида А контрадикторно высказыванию вида О (и, соответственно, Е контрадикторно I). Из таблицы 1 высказывания А и Е не могут быть одновременно истинными, но могут быть одновременно ложными. В этом смысле всякое высказывание вида А контрарно соответствующему высказыванию вида Е.
Аналогичным образом с помощью таблицы 1 легко понять отношение субконтрарности между высказываниями вида I, О и отношении подчинения между высказываниями А, I (а также вида Е, О).
|