Логика: краткий теоретический курс. Веревичев И.И. - 34 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

33
Авторы многих учебных пособий эквивалентные суждения выделяют в
качестве отдельного вида сложных суждений. Однако, в силу того, что
суждения такого рода выражают особую форму причинно-следственной связи
явлений (двойную импликацию) и могут формально быть выражены в качестве
комбинации двух других видов условных суждений (импликации и
репликации): ( p → q ) ^ ( p ← q ), то их целесообразнее рассматривать
именно как разновидность условных суждений.
Таблица истинности для трех видов перечисленных условных суждений
будет выглядеть следующим образом:
р q p → q p ← q p ↔ q
и и и и и
и л л и л
л и и л л
л л и и и
Смешанными называют сложные суждения, которые включают в себя
разные логические союзы. Логические формулы смешанных суждений могут
иметь самый различный вид: p → (p Λ q); (p ↔ q) → (p ← ┐ q) и т.п. Формула
сложной контрапозиции ((p Λ q) → r) Λ (p Λ ┐r)) → ┐q также представляет
собой логическую схему смешанного сложного суждения. Примером такого
суждения может быть следующее “Если лето бывает достаточно теплым и
влажным, то собирают хороший урожай, но в этом году лето было достаточно
теплым, а урожай был плохим. Следовательно, влаги было недостаточно”.
6. Построение таблиц истинности
Формализация есть процедура перевода информации из одной знаковой
системы в другую знаковую систему. В логике высказываний прием
формализации означает замену суждений их логической символикой, т.е.
соответствующими формулами, построенными из пропозициональных
переменных (р, q, r, s, t…) и логических союзов (Λ, V, →, ↔ и др.).
Процедура формализации во многом упрощает задачи логического анализа
суждений или рассуждений.
На практике процедура логической формализации предполагает
выполнение следующих требований:
1) Для построения логической формулы высказывания необходимо
понять подлинный смысл суждения, выявить его составные части, определить
структуру (характер связей между частями) и только после этого записать его в
символической форме.
Например, в суждении “Гром не грянет – мужик не перекрестится”
говорится не о недостаточной религиозности мужского населения России, а о
его нерадивости, о стремлении откладывать все “на потом” и приступать к
действиям лишь тогда и только тогда, когда уже не действовать невозможно.

Страницы