загрузка...
загрузка...
На головну

Відносини між простими висловлюваннями. логічний квадрат

 SeP
 SaP
 протилежність
Перш ніж встановлювати типи відносин, слід визначити: чи є аналізовані висловлювання порівнянними. порівнянними називаються висловлювання, що мають загальний суб'єкт і предикат.

Між порівнянними висловлюваннями є два типи відносин: відносини сумісності і відносини несумісності.

сумісними називаються висловлювання, які виражають одну і ту ж думку повністю або в деякій частині. Види сумісності: еквівалентність, підпорядкування, частковий збіг.

несумісними є два висловлювання, якщо з істинності одного з них слід хибність іншого. Види несумісності: протилежність, протиріччя.


Два висловлювання перебувають у відношенні підпорядкування, Якщо і тільки якщо всякий раз, коли подчиняющему відповідає істинне висловлювання, підлеглому також відповідає істинне висловлювання, але не обов'язково навпаки. (SaP - SiP; SeP - SoP).

Два висловлювання перебувають у відношенні протиріччя, Якщо і тільки якщо вони не можуть бути ні одночасно істинними, ні одночасно хибними. (SaP - SoP; SeP - SiP).

Два висловлювання перебувають у відношенні протилежності, Якщо і тільки якщо вони не можуть бути одночасно істинними, але можуть бути одночасно належними. (SaP - SeP).

Два висловлювання перебувають у відношенні часткової сумісності, Якщо і тільки якщо вони можуть бути одночасно істинними, але не можуть бути одночасно хибними. (SiP- SoP).

Висловлювання (судження). «-- попередня | наступна --» Види умовиводів.
загрузка...
© om.net.ua