Логическая теория высказываний

Общая характеристика высказывания. Логическое значение высказывания. Простое и сложное высказывания. Понятие о модальном высказывание.

Язык логики высказываний. Формализованный язык. Язык-объект и метаязык.

Простое высказывание и его структура. Виды простых высказываний/ Категорические высказывания, их деление по качеству и количеству. Распределенность терминов в категорических высказываниях.

Сложные (молекулярные) высказывания. Образование сложных высказываний из простых с помощью логических союзов. Понятие логического союза. Виды логических союзов. Установление логического значения сложного высказывания табличным способом.

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

Логические отношения между схемами высказываний: совместимость (следование, полная совместимость, частичная совместимость), несовместимость (противоречие, противность).

РАЗДЕЛ IV. Классическая дедуктивная логика

Не нашли, что искали? Воспользуйтесь поиском: