История логики

Логические задачи

Высказывания

Логические функции

Таблицы истинности

Запись выражений на языке алгебры логики ...

Законы логики

Решение задач

Запись выражений на языке АЛГЕБРЫ ЛОГИКИ

Сложные логические высказывания, это форма, в которой можно представлять самые различные утверждения. Например, математические теоремы:

Теорема Пифагора:

Если АВС - прямоугольный треугольник, с - гипотенуза и а, в - катеты, то:

а² + в² = с²

Разложим формулировку теоремы на простые высказывания:

Высказывание Т : АВС - прямоугольный треугольник.

Высказывание К : а, в, - катеты и с - гипотенуза

Высказывание В :а² + в² = с²

Тогда нашу теорему можно записать в виде сложного логического высказывания:

Рассмотрим несколько других примеров.
Перевести на язык алгебры логики выражения естественного языка:

1. Я поеду в Москву и если встречу там друзей, то интересно проведу время.

2. Если я поеду в Москву и встречу там друзей, то мы интересно проведем время.

3. Неверно, что если дует ветер, то солнце светит только тогда, когда нет дождя

или

4. Петя пойдет на рыбалку только при солнечной погоде, если не будет жарко.