Соглашения о скобках
Поскольку в построенных по определению формулах оказывается слишком много скобок, иногда и не обязательных для однозначного понимания формулы, математики приняли соглашения о скобках, по которым некоторые из скобок можно опускать. Записи с опущенными скобками восстанавливаются так:
- Если опущены внешние скобки, то они восстанавливаются.
- Если рядом стоят две конъюнкции или дизъюнкции (например, p
qr), то в скобки заключается сначала самая левая часть (т.е. две подформулы со связкой между ними). Говорят также, что эти связки левоассоциативны. - Если рядом стоят разные связки, то скобки расставляются согласно приоритетам: ù, &, ,
(от высшего к низшему).
Когда говорят о длине формулы, имеют в виду длину подразумеваемой (восстанавливаемой) формулы, а не сокращённой записи.
Например: запись 
означает формулу, 
а её длина равна 12.
Оценкой пропозициональных переменных называется функция из множества всех пропозициональных переменных в множество {Л, И} (Л –ложь, И – истина; т.е. множество истинностных значений). Основной задачей логики высказываний является установление истинностного значения формулы, если дана оценка (т.е. определены истинностные значения входящих в неё переменных). Истинностное значение формулы в таком случае определяется индуктивно (с шагами, которые использовались при построении формулы) с использованием таблиц истинности связок.
Таблица истинности — это таблица, описывающая логическое значение формулы. Количество строк в таблице истинности находится по формуле: 
, где С – количество строк, n – количество пропозициональных переменных входящих в формулу.