В контексте компьютерных систем элементарные высказывания и составные отличаются тем, что элементарные высказывания — это простые утверждения, а составные — сложные, образованные из других высказываний с помощью логических связок. 13

Элементарные высказывания — это высказывания, никакая часть которых не является отдельным (самостоятельным) высказыванием. 2 Они соответствуют логическим переменным. 1

Составные высказывания можно представить в виде логического выражения (формулы), состоящего из логических констант (0, 1), логических переменных, знаков логических операций и скобок. 2 Истинность или ложность составных высказываний зависит от истинности или ложности образующих их высказываний и определённой трактовки связок (логических операций над высказываниями). 2

Пример: А — высказывание «Сидоров — студент», В — высказывание «Сидоров — спортсмен». 3 Составное высказывание «Сидоров — студент и спортсмен» — это А и В. 3 «и» — логическая связка, А и В — логические переменные, которые могут принимать только два значения: «истина» или «ложь». 3