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

Отнош-е сужд-й по істин-ти, логічний. квадрат

Дивіться також:
  1. Червоний квадрат. Лютий 1917-го
  2. Мифологич. символізація
  3. Відносини між простими висловлюваннями. Логічний квадрат.

Висловлю-е одних видів складність. сужд-й год \ з інші.

З пом-ю еквівалент-ії ми можемо вир-ть одні види складність. сужд-й год \ з інші. Виник-е тут явл-я наз-ся синонимией логічний. спілок: кон-я явл-ся диз-й і навпаки.

Закони де Моргана:

u (p ^ q) ? u pVu q негативні-е кон-ії еквів-но негативні-ю диз-ії

u (pVq) ?u p ^ u q негативні-е диз-ії еквівалент-но кон-ії негативні-я

при будь-яких знач-х пере. , Вся формула буде мати знач-е істина.

Все сужд-я підр-ся на сравн. і непорівнянний. (Одинак. Матерії і відмінності. Матерії). Сравн-ми серед простий. явл-ся сужд-я имеющ. одинак. суб. і предикий., але отлич-ся або качес-но, або кількісне-но, або кач-но і кількісне-но.

Всі лебеді білі. Жоден лебідь явл-ся білим.

Всі лебеді білі. Нек. лебеді явл-ся білими.

Всі лебеді білі. Нек. лебеді явл-ся білими. (І кач-но і колич-но)

Серед складність. порівняй-ми явл-ся сужд-я, мають одинак. змінні і отлич-ся логічний. спілками, а також оператором негативні-я. p ^ q, pVq, u (p ^ q).

Различ. отнош-я в логіці устан-ся тільки м \ ду сравн. суж-ми, м \ ду непорівнянний. ніяких отнош-й устан-ть не можна. Отнош-я м \ ду простий. суж-ми мо-ся на фігурі - логічний. квадраті.

AЕ- отнош-е контрарности (протилежний-ти), IO - субконтрарность (часткова совмест-ть), AО, IE - протиріччя (контрадіктор-ть), AI, EO - підпорядкування.

Все отнош-я на логічний. квадр. м. підрозд. на:

1) отнош-я по совмест-ти (істинності), 2) несумісний-ти по істинності.

Якщо сужд-я м. Б. одноврем. істин-ми, то м \ ду ними сущ-т отнош-е по совмест-ти (істинності), якщо сужд-я не м. б. одноврем. істин-ми, то м \ ду ними сущ-т отнош-я несумісний-ти по істин-ти.

Сущ-т 2 види отнош-я несовм. по істин-ти: контрарность, що суперечить; 3 ст. отнош-й совм-ти по істин-ти: еківален-ть (на квадр. немоделі-ся), підпорядкування, субконтрар-ть.

контрарность: Ці сужд-я не міг. б. одноврем. істин-ми, але м. б. одноврем. помилковими. Au® Eл, Eu®Ал, Ал®Е ?, Ел® А? (Всі студенти учні (А). Не один студ. Явл-ся учням (Е).)

контрадікторності: Аі®Ол, ¬, Еі®Iл, ¬

сумісність: еквів. простий. сужд-е- С., Що мають ожінак. суб. і предикий. , А також квантор і зв'язку.

u A?O; Аі®Iі, Ал®I ?, Iл®Ал, Iі® А ?; Еі®Оі, Ел®О ?, Ол®Ел, Оі®Е?

субконтрарность: Iл®Оі, Ол®Iі, Iі®О ?, Оі®I? (Нек. Книги в нашій біб-ке явл-ся букіністичними.)

заперечення суджень - Логічний. опер-я, в процесі кіт-й сужд-е преобраз-ся в контрадикторне.

p  up
и л
л и

p ^ q,

p ^ uq

p q  u q  p ^ q  p ^ uq
и и л и л
и л и л и
л и л л л
л л и л л
Достатні і необх. умови «-- попередня | наступна --» модальність суджень
загрузка...
© om.net.ua