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

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

- импликация через дизъюнкцию

- импликация через импликацию

- импликация через конъюнкцию

- конъюнкция через дизъюнкцию

- дизъюнкция через конъюнкцию

- конъюнкция через дизъюнкцию

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

p	q
И	И	Л	И	И
И	Л	Л	Л	Л
Л	И	И	И	И
Л	Л	И	И	И

Таблицы истинности двух последних столбцов совпали, следовательно данные выражения равносильны.

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

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

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

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

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

Не нашли, что искали? Воспользуйтесь поиском: