2 Элементы математической логики 1. Высказывания и логические операции
Равносильные формулы. Тавтология и противоречие. Логическое следование
546.15K

лекция_2_по_дискретной_математике

1. 2 Элементы математической логики 1. Высказывания и логические операции

2.

Логические операции
Конъюнкция (логическое умножение).
Логическая связка: «и».
Обозначение: A ^ B или AB.
Конъюнкция двух высказываний A и B будет
истинной только тогда, когда оба высказывания
истинны.

3.

Дизъюнкция (логическое сложение).
Логическая связка: «или».
Обозначение: A ˅ B или A + B.
Дизъюнкция двух высказываний A и B будет
истинной только тогда, когда хотя бы одно из
высказываний истинны.

4.

Отрицание. Логическая связка:
«не A», «неверно, что A».
Обозначение:
English     Русский Правила