Высказывания. Логические операции над высказываниями. Формулы и заколы логики высказываний

Цели:

1. Формирование представлений о высказываниях, логических операциях над ними, логических формулах и их равносильных преобразованиях.

1. Знакомство с основными законами и противоречиями логики, булевой алгеброй и ее различных интерпретациях.

План:

1. Высказывания.
2. Логические операции.
3. Формулы логики высказываний.
4. Законы логики.
5. Равносильные преобразования формул.
6. Булева Алгебра.

Литература:

Представлена в списке литературы рабочей программы дисциплины.