97
правок
Изменения
→Определения
==Язык исчисления высказываний==
===Определения===
{{Определение
|definition=
Одним из базовых понятий логики высказываний является пропозициональная переменная — переменная, значением которой может быть логическое высказывание
}}
{{Определение
|definition=
<nowiki><пропозициональная переменная></nowiki> формально не определяется. Договоримся, что это - буква латинского алфавита (возможно, с нижним индексом).
}}
===Расстановка скобок===
Так построенная грамматика предписывает определенный способ расстановки
