Основные понятия логики
2020-06-032021-03-09zzyxelСтудИзба
1.1. Основные понятия
В формально-логических выводах используются истинные и ложные предложения.
Определение: повествовательное предложение, о котором можно однозначно сказать, истинно оно или ложно, называется высказыванием.
Примеры высказываний: "кит - животное", "все углы - прямые" и т. п. Первое из этих высказываний является, очевидно, истинным, а второе - ложным. Предложение "реши задачу", также как и "2+2", не является высказываем.
Определения математических понятий не являются высказываниями, т.к. это принятые соглашения.
Будем обозначать высказывания большими латинскими буквами: A, B, C,….
Элементарные, нерасчленяемые высказывания будем называть атомами.