Конспект лекцій вибіркової навчальної дисципліни циклу гуманітарної підготовки логіка для студентів




Сторінка28/55
Дата конвертації11.03.2019
Розмір5,22 Mb.
1   ...   24   25   26   27   28   29   30   31   ...   55

Таблиця відображає структурний закон еквіваленції: судження тотожності істинне, тільки якщо усі складові його прості судження істинні, або неістинні одночасно.



Якщо прості судження, що складають еквіваленцію, протилежні за істиннісною характеристикою, то судження тотожності в цілому неістинне.

У природній мові еквіваленція (сполучник «якщо і тільки якщо, то» символ «≡», або «↔») виражається: «тоді і тільки тоді, коли», «той і тільки той», «у тому і тільки у тому випадку, якщо», «тільки виходячи з того, що», «тільки за однієї умови, згідно з якою» та ін.;

  • заперечення перетворює істинне судження на неістинне, а неістинне – в істинне. Заперечення поєднує прості судження за допомогою одномісної (унарної) зв'язки «не» (читається як «неправильно, що»: «Меркурій не є великою планетою» являє собою заперечення судження «Меркурій є великою планетою»).

При запереченні простих категоричних суджень їх якість і кількість змінюється на протилежну:

~A=О ~О=А ~Е=І ~І=Е

Заперечення складних суджень відбувається відповідно до наступної еквівалентності:



~ (AB) рівносильне ~A~B;

~ (AB) рівносильне ~A~В;

~ (AB) рівносильне A;

~ (A=B) рівносильне (~AB)(А);

~ (AB) рівносильне A=B.
Таблиця істинності заперечення

a

~a

1

0

0

1
1   ...   24   25   26   27   28   29   30   31   ...   55


База даних захищена авторським правом ©uchika.in.ua 2016
звернутися до адміністрації

    Головна сторінка