<<
>>

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

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

р—»q = pvq - импликация через дизъюнкцию

р —> q = q —> р - импликация через импликацию

р —> q = р л q - импликация через конъюнкцию pAq = pvq - конъюнкция через дизъюнкцию pvq = pAq - дизъюнкция через конъюнкцию

pAq = pvq - конъюнкция через дизъюнкцию Существует метод проверки равносильности сложных суждений.

Он заключается в построении таблиц истинности для соответствующих символических выражений. Если таблицы истинности совпадают при одинаковых логических значениях переменных, то такие выражения равносильны. Докажем равносильность следующей формулы р —> q = р v q (дизъюнкция нестрогая). р ч р p^q pvq и и л И И и л л л Л л и и и и л л и и и Таблицы истинности двух последних столбцов совпали, следовательно, данные выражения равносильны.

Вопросы для повторения

Дайте определение суждения. Какие суждения называются простыми, а какие сложными?

Какова логическая структура атрибутивных суждений и суждений отношения?

Каково отношение суждения и высказывания?

Чем определяется логическое значение (истинность или ложность) высказываний?

<< | >>
Источник: Черняк Н.А.. Логика: Учебное пособие. - Омск: Омск. гос. ун-т,2004. -84 с.. 2004

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