Высказывание - повествовательное предложение, о котором можно сказать, истинно оно или ложно. Высказывания не могут быть выражены повелительным или вопросительным предложением, т.к. нельзя определить истинность и ложность этого высказывания. Например: Земля – планета Солнечной системы > 10 Выключи свет!

Задание: Являются ли следующие предложения высказываниями? На улице светит солнце. Уходя гасите свет. Из окна виден парк. Какого цвета этот дом? Посмотрите в окно.

Готфрид Вильгельм фон Лейбниц Немецкий ученый и философ. Является основателем математической логики. Впервые предпринял попытку логических вычислений Джордж Буль Английский математик и логик. В честь него алгебру логики называют «булева алгебра». Ввел алфавит, орфографию и грамматику.

В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Рассмотрим два простых высказывания: А = «два умножить на два равно четырем». В = «два умножить на два равно пяти».

В алгебре высказываний над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания. Для образования новых высказываний используются базовые логические операции, выражаемые с помощью логических связок «и», «или» и «не».

АВF(А,В) Например, А и В – логические переменные, n = 2 F - логическая функция (q) Количество строк (q) в таблице истинности можно вычислить по формуле q = 2 n q = 2 n

1.Придумать 2 предложения не являющимся высказыванием. 2.Придумать по 2 простых и составных высказывания. 3.Определить количество строк в таблице истинности для следующего предложения: Пот катился с меня градом, и хотя капли его, сбегая по подбородку, щекотали меня, я не вытирал их.