АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Прямые умозаключения логики высказываний

Читайте также:
  1. I. Определите, какое из этих высказываний несет психологическую информацию.
  2. I. Решение логических задач средствами алгебры логики
  3. Абстрактное речевое мышление, понятия, умозаключения.
  4. Алгебра высказываний
  5. Алгебра логики
  6. Анализ функции логики высказываний
  7. Б. Непрямые методы
  8. Виды связей в организации: вертикальные и горизонтальные, линейные и функциональные, прямые и косвенные, формальные и неформальные.
  9. Выводы (умозаключения) из простых атрибутивных суждениях
  10. Глава I ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ
  11. Законы и тождества алгебры логики
  12. Законы логики высказываний

Умозаключения логики высказываний бывают прямые и непрямые. Прямыми называются умозаключения, в которых заключение выводится из некоторого множества суждений. Непрямыми являются умозаключения, которые получаются путём преобразования других умозаключений.

 

Виды простых[2] форм прямых умозаключений логики высказываний:

1. Условно-категорические. Условно-категорические умозаключения бывают двух разновидностей:

а) утверждающий модус: А®В, А В б) отрицающий модус: А®В, щВ щА

(В схемах умозаключений над чертой записываются посылки, под чертой – заключение, черта означает «следовательно»; А и В – простые суждения).

Пример. Если человек простужен (А), то он болен (В).

Человек простужен (А).

Он болен (В).

2. Разделительно-категорические умозаключения. Эти умозаключения также бывают двух разновидностей:

а) утверждающе-отрицающая схема: б) отрицающе-утверждающая схема:
АЪВ, В щА АЪВ, А щВ АЪ (Ъ) В, щА В АЪ (Ъ) В, щВ А
       

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

Пример. Либо мы уходим (А), либо мы остаемся (В).

Мы не уходим (ùА).

Мы остаемся (В).


3. Дилеммы (условно-разделительные силлогизмы) бывают следующих видов:

а) простая конструктивная: б) простая деструктивная:
А®С, В®С АЪВ С А®В, А®С щВЪщС щА
в) сложная конструктивная: г) сложная деструктивная:
А®В, С®D AЪC BЪD A®B, C®D щBЪщD щAЪщC

Пример. «Если вы будете говорить правду (А), люди проклянут вас (В), а если будете лгать (С), то вас проклянут боги (D). Но вы можете только говорить правду (A) или лгать (C). Значит, вас проклянут боги (D) или люди (B)».

4. Чисто условные умозаключения. Разновидностей таких умозаключений довольно много, в частности, к ним относятся транзитивность импликации и правило контрапозиции.

а) транзитивность импликации:

А®В, В®С

А®С

Пример. «Если человек ленив (A), то он не будет работать над собой (B). Если он не будет работать над собой (B), то он не будет пользоваться уважением (C). Но если человек не пользуется уважением (C), он несчастлив (D). Значит, если человек ленив (А), то он несчастлив (D)». Это умозаключение имеет форму транзитивности импликации с тремя посылками:



A®B, B®C, C®D

A®D

б) правило контрапозиции:

А®В

щВ®щА

Пример. «Если человек знает геометрию (А), то он знает теорему Пифагора (В). Следовательно, если он не знает теоремы Пифагора (ùВ), то он не знает геометрии (ùА).

Все приведённые выше формы умозаключений являются правильными, то есть их соблюдение гарантирует правильность заключения при истинности посылок. Иногда эти формы называют правилами соответствующих умозаключений.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 |


Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.018 сек.)