Правильные рассуждения логики высказываний

Дедукция (от лат. deductio - выведение) – принцип логического вывода, при котором переход от посылок к заключению происходит с логической необходимостью. Характерная особенность дедукции состоит в том, что от истинных посылок она всегда ведет к истинному заключению. Формула дедуктивного вывода всегда представляет собой логический закон.

Правильные рассуждения логики высказываний – дедуктивные умозаключения следующих типов:

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

1. Разделительно-категорические умозаключения:

1. Условно-разделительные умозаключения (дилеммы):

Ошибочными будут рассуждения следующего вида:

Это можно доказать, записав формулу вывода modus ponens: . Перед нами тождественно истинная формула. Если поменять в посылке утверждение антецедента на его отрицание, то для того, чтобы формула осталась тождественно истинной, мы должны в выводе употребить дизъюнкцию консеквента и его отрицания (закон исключенного третьего): .

Программа экзамена по дисциплине «Логика»

1. Понятие: виды понятий, объем, содержание, закон обратного отношения между объемом и содержанием, отношения между понятиями по объему, обобщение, ограничение, деление, определение, правила деления, ошибки в делении, правила определения, ошибки в определении.
2. Простое высказывание: виды простых высказываний, структура простого атрибутивного высказывания, отношения между простыми высказываниями, логический квадрат, умозаключения по логическому квадрату, обращение, превращение, противопоставление предикату, реляционные высказывания, местность предиката, виды отношений.
3. Силлогистика: простой категорический силлогизм, общие правила силлогизма, фигуры и модусы силлогизма, правила фигур.
4. Сложное высказывание: пропозициональные связки, семантика (таблицы истинности) пропозициональных связок, тождественно-истинные формулы.
5. Правильные рассуждения логики высказываний: дедуктивные умозаключения логики высказываний, виды дедуктивных умозаключений, модусы правильных дедуктивных умозаключений.