0, 1

, единственный элемент того же множества. Этот  элемент является логическим значением того составного  высказывания, в которое превращается данная формула, если вместо всех ее пропозициональных переменных подставить конкретные  высказывания, имеющие соответствующие значения истинности.  Легко понять, что высказывания (точнее, их содержание) здесь ни при чем. Функция, о которой идет речь, определяется структурой  формулы F и определениями отрицания, конъюнкции, дизъюнкции,  импликации и эквивалентности, которые  понимаются как определения действий над символами 0, 1 —  элементами двухэлементного множества