Аксиомы логики. ИНВЕРСИЯ Обозначение: Ā, not A. Пример: А - Дождя не будет Ā - Неверно, что дождя не будет Таблица истинности Логическое отрицание 1) - презентация

1 Аксиомы логики

2 ИНВЕРСИЯ Обозначение: Ā, not A. Пример: А - Дождя не будет Ā - Неверно, что дождя не будет Таблица истинности Логическое отрицание 1) 1) НЕ 2) НЕВЕРНО, ЧТО

3 КОНЪЮНКЦИЯ Обозначения: &, and,,. Пример: А - Дождя не будет. В - Небо голубое. А&В - Дождя не будет и небо голубое. Таблица истинности: Логическое умножение И

4 ДИЗЪЮНКЦИЯ Обозначения: OR, V, + Пример: А - Дождя не будет. В - Небо голубое. А V В - Дождя не будет или небо голубое. Таблица истинности: Логическое сложение ИЛИ

5 Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

6 Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

7 Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

8 Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

9 Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

10 Пример. Составьте таблицу истинности. _ _ X = (A & B ) V ( A & B) AB _A_A _B_B _ A & B _ A & BX

11 Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

12 Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

13 Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

14 Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

15 Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

16 Пример. Составьте таблицу истинности. ______ X = (A & B V C) V ( A & C) ABC A & BA & B V C( A & C) _______ ( A & C)X

17 ИМПЛИКАЦИЯ Обозначения: Пример: А - Дождя не будет. В - Небо голубое. А В - Если дождя не будет, то небо голубое. Таблица истинности: Условная связь ЕСЛИ, ТО

18 ЭКВИВАЛЕНТНОСТЬ Обозначения: Пример: А - Дождя не будет. В - Небо голубое. А В - Дождя не будет тогда и только тогда, когда небо голубое. Таблица истинности: 1)Если и только если 2) Тогда и только тогда, когда

19 Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

20 Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

21 Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

22 Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

23 Пример. Составьте таблицу истинности X = (A & B & C) ( A V C) ABC A & BA & B &C( A VC)X

24 Пример. Составьте таблицу истинности X = (A V B ) ( A V C) ABC A VB( A VC)X

25 Пример. Составьте таблицу истинности X = (A V B ) ( A V C) ABC A VB( A VC)X

26 Пример. Составьте таблицу истинности X = (A V B ) ( A V C) ABC A VB( A VC)X

27 Пример. Составьте таблицу истинности X = (A B ) &( A V C) ABC

28 Домашнее задание Составьте таблицу истинности X = (A С ) V( A V C) & B