Высказывание (суждение) – это последовательное предложение, в котором что-либо утверждается или отрицается. - презентация

1

2 Высказывание (суждение) – это последовательное предложение, в котором что-либо утверждается или отрицается.

3 1) Общие («все», «всякий», «каждый», «ни один») 2) Частные («некоторые», «большинство») 3) Единичные

4 Логическое выражение – простое или сложное высказывание. Логическое выражение – простое или сложное высказывание. Сложное высказывание строится из простых с помощью логических операций. Сложное высказывание строится из простых с помощью логических операций.

5 Конъюнкция (логическое умножение) – двухместная операция. Конъюнкция (логическое умножение) – двухместная операция. Союз : И Союз : И Мат. логика: А/\В Мат. логика: А/\В Л Л Л Л И Л Л Л И И И И А/\В В А

6 Дизъюнкция (логическое сложение) – двухместная операция. Дизъюнкция (логическое сложение) – двухместная операция. Союз: ИЛИ Союз: ИЛИ Мат.логика: А vВ Мат.логика: А vВ Л Л Л И И Л И Л И И И И А vВ В А

7 Отрицание – одноместная операция. Неверно, что … Мат. логика: ¬А И Л Л И ¬А А

8 И Л Л И ИЛ Л Л И И И И AB B A Импликация (условное высказывание) – двухместная операция. Союзы: ЕСЛИ… ТО КОГДА… ТОГДА КОГДА… ТОГДА Мат. логика: AB Мат. логика: AB

9 Выражения, начинающиеся после союзов если, когда, коль скоро называются основанием условного высказывания. Выражения, стоящие после слов то, тогда называются следствием.

10 Эквивалентность – двухместная операция. Союзы: если и только если Союзы: если и только если тогда и только тогда, когда… тогда и только тогда, когда… Мат.логика: AB Мат.логика: AB И Л Л Л ИЛ ЛЛ И И И И A B B A

11

12 ¬A A۷BA۷B A/\BBA

13 F=((C\/B)B) /\ (A/\B)B