Конъюнкция

Введем еще одну логическую операцию, определив её словесно следующим образом. Конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны. Эту логическую операцию называется еще логическим умножением, или логическим минимумом. Выпишем таблицу истинности для конъюнкции

Свойства конъюнкции:

В естественном языке эта операция чаще всего интерпретируется союзом "и".

Пример: Выведем формулу счастливой любви по Шекспиру. Для этого проанализируем следующие строки:

Увы, я никогда не слышал