Логика Дедукция

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-5. Обманчивое отрицание

Как известно, операция логического "отрицания" является унарной – то есть применяется к ОДНОМУ высказыванию. Исходя из этого создаётся представление, будто бы, применяя "операцию отрицания" к некоему ОДНОМУ высказыванию А, мы тем самым меняем "значение истинности" у этого самого исходного высказывания А. Скажем, было начальное высказывание А ("лампочка горит"), а после применения операции отрицания получилось высказывание "-А" ("лампочка НЕ горит") (т.е.

Аватар пользователя Дмитрий Бояркин

Магия логического доказательства. Ч-3. Логические системы из ТРЁХ высказываний

ЛОГИЧЕСКИЕ СИСТЕМЫ ИЗ ТРЁХ ВЫСКАЗЫВАНИЙ

Чтобы разобраться с тем, что собой представляют известные бинарные логические операции, как то: конъюнкция, дизъюнкция, импликация и равнозначность (эквиваленция), - нам следует рассмотреть все комбинации "логических систем", состоящих уже из ТРЁХ разных высказываний А, В и С. Пусть для наглядности это будут:

RSS-материал