Суперечливість

Матеріал з Ukrainian Logical Encyclopedia

Версія від 14:07, 2 червня 2010; Logic (обговорення | внесок)
(різн.) ← Старіша версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до: навігація, пошук

Супере́чливість — 1) властивість окремої формули, множини формул, формальної системи (числення, теорії) або їхніх інтерпретантів

2) те саме, що й контрадикто́рність; логічне відношення між формулами

Отримано з http://logic.net.ua/wiki/index.php?title=%D0%A1%D1%83%D0%BF%D0%B5%D1%80%D0%B5%D1%87%D0%BB%D0%B8%D0%B2%D1%96%D1%81%D1%82%D1%8C