Высказывание (суждение) – это последовательное предложение, в котором что-либо утверждается или отрицается.
1) Общие («все», «всякий», «каждый», «ни один») 2) Частные («некоторые», «большинство») 3) Единичные
Логическое выражение – простое или сложное высказывание. Логическое выражение – простое или сложное высказывание. Сложное высказывание строится из простых с помощью логических операций. Сложное высказывание строится из простых с помощью логических операций.
Конъюнкция (логическое умножение) – двухместная операция. Конъюнкция (логическое умножение) – двухместная операция. Союз : И Союз : И Мат. логика: А/\В Мат. логика: А/\В Л Л Л Л И Л Л Л И И И И А/\В В А
Дизъюнкция (логическое сложение) – двухместная операция. Дизъюнкция (логическое сложение) – двухместная операция. Союз: ИЛИ Союз: ИЛИ Мат.логика: А vВ Мат.логика: А vВ Л Л Л И И Л И Л И И И И А vВ В А
Отрицание – одноместная операция. Неверно, что … Мат. логика: ¬А И Л Л И ¬А А
И Л Л И ИЛ Л Л И И И И AB B A Импликация (условное высказывание) – двухместная операция. Союзы: ЕСЛИ… ТО КОГДА… ТОГДА КОГДА… ТОГДА Мат. логика: AB Мат. логика: AB
Выражения, начинающиеся после союзов если, когда, коль скоро называются основанием условного высказывания. Выражения, стоящие после слов то, тогда называются следствием.
Эквивалентность – двухместная операция. Союзы: если и только если Союзы: если и только если тогда и только тогда, когда… тогда и только тогда, когда… Мат.логика: AB Мат.логика: AB И Л Л Л ИЛ ЛЛ И И И И A B B A
¬A A۷BA۷B A/\BBA
F=((C\/B)B) /\ (A/\B)B