<<
>>

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. Выражение одних логических связок посредством других:

  1. Статья 125. Передача дел из одного суда РСФСР в другой суд РСФСР
  2. Статья 135. Замена одного вида обеспечения иска другим
  3. 2.7. Выражение одних логических связок посредством других
  4. ВОПРОСЫ ДЛЯ ЭКЗАМЕНОВ (ЗАЧЕТОВ) ПО ЛОГИКЕ
  5. § 1 25. Модальности совершения в сфере логического выражения и метод прояснения
  6. Теория доказательств классической логики предикатов
  7. 5.14. Морфолого-синтаксическое словообразование (переход одной части речи в другую)
  8. 152. Означает ли дарение передача имущества от одного унитарного предприятия к другому с согласия собственника, но без встречного предоставления?
  9. 1.1. Исчисление высказываний и гибель формул
  10. Переход от одного опорного решения к другому
  11. Ничто
  12. УНИВЕРСАЛИИ
  13. § 111.
  14. Теорема 57. Всякий аффект одного индивидуума отличается от аффекта другого настолько, насколько сущность одного отличается от сущности другого.
  15. ОТВЕТ НА ПРЕДЫДУЩЕЕ
  16. 2. Выражение высказываний
  17. 1. Преобразование суждений
  18. Основное содержание работы В. С. Агеева «Социальная идентичность личности»
  19. ИНТУИЦИЯ КАК ФОРМА ТВОРЧЕСКОГО МЫШЛЕНИЯ. ХАРАКТЕРНЫЕ ЧЕРТЫ ИНТУИЦИИ.
  20. § 25. УПОТРЕБЛЕНИЕ ФОРМ ОДНОГО ЧИСЛА В ЗНАЧЕНИИ ДРУГОГО