Язык логики высказываний

Описание всякого исчисления включает в себя описание символов этого исчисления (алфавита); формул, являющихся конечными конфигурациями символов и определение выводимых формул.
Алфавит исчисления высказываний состоит из символов трех категорий:
1) Символы первой категории: x, y, z,…,x1, x2,…, которые называются переменными высказывания;
2) Символы второй категории: , которые называются логическими связками. – дизъюнкция (логическое сложение), – конъюнкция (логическое умножение), → – импликация (логическое следование), ¯ – отрицание;
3) Символы третьей категории: скобки.

Введение.......................................................................................................................3
1. Пропозиционная логика..........................................................................................4
2. Общезначимость исчисления высказываний 5
3. Пропорциональные связки 6
4. Язык логики высказываний 8
Заключение 11
Задание 1 12
Задание 2 13
Список использованной литературы 14