Главная страница Случайная страница
Разделы сайта
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Высказывания А и В находятся в отношении противоречия, если они при одинаковых наборах значений переменных не могут быть одновременно ни истинными, ни ложными.
|
|
Наша таблица иллюстрирует ряд случаев противоречащих высказываний:
((p & q) и Ø (p & q)); ((p & q) и (Ø p Ú Ø q)); ((Ø p & Ø q) и (Ø p É q)).
В отношении противоположности находятся высказывания А и В, если они при одинаковых наборах значений переменных не могут быть одновременно истинными, но могут быть одновременно ложными.
К таким высказываниям, как следует из нашей таблицы, относятся пары высказываний
((p & q) и (Ø p & Ø q)); ((Ø p & Ø q) и (p & Ø q)). Все возможные логические отношения между сложными суждениями можно систематизировать с помощью следующей схемы:
Отношение между сложными суждениями:
 |  | ||
Сравнимость несравнимость
 |  |
Совместимость несовместимость
 |  |
Логическое следование противоречие
|
|