Семантика букв алфавита алгебры высказываний

Рассмотрим значения букв, которые они имеют в классической двузначной логике.

1. Буквы первой категории- атомы принимает одно из двух возможных истинностных значений И или Л. И и Л в свою очередь интерпретируются как любое истинное и ложное высказывание.
2. Буквы второй категории- логические операторы ~. Значения этих букв раскроем в таблице.

A
И	Л
Л	И

A	B				A~B
И	И	И	И	И	И
И	Л	Л	И	Л	Л
Л	И	Л	И	И	Л
Л	Л	Л	Л	И	И

Записи , (А Ù В), (АÚ В), (А É В), (А ~ В) читаются соответственно отрицание А, А конъюнкция В, А дизъюнкция В, А импликация В, А эквиваленция В. В этих записях буквы А и В называются соответственно конъюнктивными, дизъюнктивными, импликативными членами, членами эквиваленции; первый импликативный член называется антецедентом, второй В- консеквентом.

1. Буквы третьей категории- скобки- левая «(» и правая «)» – играют роль знаков препинания и самостоятельного смысла не имеют.