2.7. Выражение одних логических связок посредством других
Рассмотренные выше логические союзы взаимозаменяемы и выразимы через другие. Например:
р—»q = pvq - импликация через дизъюнкцию
р —> q = q —> р - импликация через импликацию
р —> q = р л q - импликация через конъюнкцию pAq = pvq - конъюнкция через дизъюнкцию pvq = pAq - дизъюнкция через конъюнкцию
pAq = pvq - конъюнкция через дизъюнкцию Существует метод проверки равносильности сложных суждений.
Он заключается в построении таблиц истинности для соответствующих символических выражений. Если таблицы истинности совпадают при одинаковых логических значениях переменных, то такие выражения равносильны. Докажем равносильность следующей формулы р —> q = р v q (дизъюнкция нестрогая). р ч р p^q pvq и и л И И и л л л Л л и и и и л л и и и Таблицы истинности двух последних столбцов совпали, следовательно, данные выражения равносильны.Вопросы для повторения
Дайте определение суждения. Какие суждения называются простыми, а какие сложными?
Какова логическая структура атрибутивных суждений и суждений отношения?
Каково отношение суждения и высказывания?
Чем определяется логическое значение (истинность или ложность) высказываний?
Еще по теме 2.7. Выражение одних логических связок посредством других:
- § 6. Противопоставление [с помощью] других различий. Незавершенн, аномально сокращенные выражения, выражения с пропусками
- Почему одних выступающих слушают внимательно, иногда затаив дыхание, а других - в полуха? И говорят они на одном языке, но не одинаково
- § 123. Двувидовые глаголы в одних случаях выступают со значением совершенного вида, в других имеют значение несовершенного вида
- §7.Приемы выражения и изображения категории лица посредством грамматических признаков женского рода
- §7.Приемы выражения и изображения категории лица посредством грамматических признаков женского рода
- § 1 25. Модальности совершения в сфере логического выражения и метод прояснения
- § 42. Употребление других временных форм для выражения будущих действий
- 28. Именное сказуемое и виды связок в нем
- Логическое основание п логическая формула выводов о вероятности
- § 47. Основные логические понятия и смысл логических положений подтверждают наши указания
- 5. А также на примере различных суждений людей об одних и тех же вещах
- § 5. Выражения как знаки, обладающие значением. Отделение не относящегося сюда смысла выражения
- Контроль одних лиц над другими может быть как прямым, так и косвенным.
- Глава 9. О действиях других отношений и других привычек
- 3. Программа логического позитивизма (логического эмпиризма)
- § 1 27 Выражение суждений и выражений ноэм душевного
- 268. Виды связок в именном сказуемом и именная часть сказуемого
- 268. Виды связок в именном сказуемом и именная часть сказуемого
- 11. Приемы логического анализа текста. Устранение логических ошибок в тексте.
- ИЗ ДРУГИХ «ДРУГИХ ИСТОРИИ»
-
Альтернативные философские исследования -
Антропология -
Восточная философия -
Древнегреческая философия -
Древнеиндийская философия -
Древнекитайская философия -
История философии -
История философии Возрождения -
Логика -
Немецкая классическая философия -
Онтология и теория познания -
Основы философии -
Политическая философия -
Русская философия -
Синектика -
Современные философские исследования -
Социальная философия -
Средневековая философия -
Философия и социология -
Философия кризиса -
Философия культуры -
Философия науки -
Философия религии -
Философы -
Фундаментальная философия -
Экзистенциализм -
Этика, эстетика -
-
Архитектура и строительство -
Безопасность жизнедеятельности -
Библиотечное дело -
Бизнес -
Биология -
Военные дисциплины -
География -
Геология -
Демография -
Диссертации России -
Естествознание -
Журналистика и СМИ -
Информатика, вычислительная техника и управление -
Искусствоведение -
История -
Культурология -
Литература -
Маркетинг -
Математика -
Медицина -
Менеджмент -
Педагогика -
Политология -
Право России -
Право України -
Промышленность -
Психология -
Реклама -
Религиоведение -
Социология -
Страхование -
Технические науки -
Учебный процесс -
Физика -
Философия -
Финансы -
Химия -
Художественные науки -
Экология -
Экономика -
Энергетика -
Юриспруденция -
Языкознание -