Конъюнкция: логическое «и» и его таблица

Конъюнкция это логическая связка «и». Запись P ∧ Q читается «P и Q» и истинна ровно в одном случае из четырёх: когда истинны обе части. Стоит одной части оказаться ложной, ложным становится целое. Той же связкой записывают «но», «а», «зато» и «однако»: для логики все они означают одно, что верны оба утверждения.

Таблица истинности

У конъюнкции четыре строки, по числу сочетаний значений двух частей. P истинно и Q истинно: конъюнкция истинна. P истинно, Q ложно: ложна. P ложно, Q истинно: ложна. Оба ложны: ложна. Столбец выходит И Л Л Л, и это единственное, что нужно знать о связке: она не про смысл частей, а про сочетание их значений.

Заметьте симметрию с дизъюнкцией: у «и» истинная строка одна, у «или» ложная строка одна. Это не совпадение, а следствие законов де Моргана, по которым отрицание «и» превращается в «или» отрицаний.

Чем логическое «и» отличается от русского

Два расхождения. Первое: в русском «и» иногда несёт порядок. «Он упал и сломал ногу» не то же, что «сломал ногу и упал», а для конъюнкции P ∧ Q и Q ∧ P равносильны. Второе: слова «но», «а», «зато», «однако» добавляют противопоставление, ожидание, оценку. Логика всё это отбрасывает и оставляет одно: обе части верны. «Дорого, зато качественно» для неё означает «дорого и качественно».

Отбрасывание не ошибка, а плата за проверяемость. Пока значение связки задано таблицей, любое рассуждение с ней можно проверить перебором строк, и никто не спорит о том, что «имелось в виду».

Где ошибаются

Первая ошибка: отрицать конъюнкцию, отрицая обе части. «Неверно, что он умён и честен» не значит «он глуп и нечестен», это значит «хотя бы одно из двух неверно». Отрицание «и» даёт «или» отрицаний, и именно на этой ошибке держится половина бытовых споров.

Вторая ошибка: путать конъюнкцию с исключающим «или» в условиях задач. «Скидка студентам и пенсионерам» значит «либо студент, либо пенсионер, либо оба», то есть дизъюнкцию, а не требование быть студентом-пенсионером. Язык здесь обманывает, таблица нет.

Вопросы

Как обозначается конъюнкция?

Знаком ∧, реже точкой или знаком &. В программировании это && или and. В записях курса P ∧ Q читается «P и Q».

Когда конъюнкция истинна?

Только когда истинны обе части. В остальных трёх строках таблицы она ложна.

Можно ли выразить другие связки через конъюнкцию?

Вместе с отрицанием да: пары «не» и «и» достаточно, чтобы записать любую таблицу истинности. «P или Q» это «неверно, что не P и не Q».