Выражение одних логических связок посредством других

Рассмотренные выше логические союзы взаимозаменяемы и выразимы через другие.

p→q = p ∨ q – импликация через дизъюнкцию

p→q = q →p – импликация через импликацию

p→q = p ∧ q – импликация через конъюнкцию

p ∧ q = p ∨ q – конъюнкция через дизъюнкцию

p ∨ q = p ∧ q – дизъюнкция через конъюнкцию

p ∧ q = p ∨ q – конъюнкция через дизъюнкцию

Существует метод проверки равносильности сложных суждений. Он заключается в построении таблиц истинности для соответствующих символических выражений. Если таблицы истинности совпадают при одинаковых логических значениях переменных, то такие выражения равносильны.

ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ.

ВЫВОДЫ ИЗ ПРОСТЫХ СУЖДЕНИЙ

Умозаключение как форма мышления.

Виды умозаключений

Умозаключение – форма мышления, посредством которой выводится новое суждение на основании одного или более известных суждений.

Ранее известные исходные суждения, из которых выводится новое суждение, называются посылками умозаключения, а новое суждение, полученное в результате сопоставления посылок, заключением.

Например: в умозаключении «Медь – металл» «Медь – проводник» -> «Все металлы – проводники»

первые два суждения – посылки, а последнее – заключение.

Логический переход от посылок к заключению называется выводом.