Для формирования более сложных высказываний, как и в пропозициональном исчислении, могут использоваться логические связки. Семантика высказываний, сформированных с помощью логических связок, идентична семантике, которая рассматривается в пропозициональной логике. Ниже приведены четыре высказывания, которые являются истинными в модели, показанной на рис. 8.1, при использовании рассматриваемой намеченной интерпретации