Page 95 - 4196

Таблиця 4.18 – Таблиця істинності для імплікації

A B A  B
0 0 1
0 1 1
1 0 0
1 1 1

6 Еквіваленція. Висловлювання “A тоді, коли B”
позначається A  B або A  B. Припустимо, що
A  B  A  B  I . Тоді A  B і висловлювання A і B од-
ночасно або істинні або неправдиві:

Таблиця 4.19 – Таблиця істинності для еквіваленції

A B A  B
0 0 1
0 1 0
1 0 0
1 1 1

7 Тавтологія (тотожньо істинні формули). Функція,
яка залишається істинною незалежно від значень істин-
ності її елементів. Приклади тавтологій: A  A  ; I
A  B  A  ; I 0  X  0  X  , I X  I  X  I  , I

де 0  ; I 0  ; I X Y  X  Y ;
  X  Y  Y  Z  X   Z .
8 Закони логіки:
1) X  X - закон тотожності;
2) X  X  I - закон виключеного третього;
3) XX  0 - закон протиріччя;

4) X  X - закон подвійного заперечення;

95