Логика высказываний: различия между версиями

Для формул логики высказываний можно определить понятие ''интерпретации'' как приписывание каждой пропозициональной переменной истинностного значения («истина» или «ложь»)<ref>Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. — С. 18-19</ref> («истина» или «ложь», хотя исчисление высказываний никак не ограничивает множество возможных значений при интерпретации: например, можно задать интерпретацию как отображение в множество <math>\{0,1,\ldots,k\}</math>, где <math>k\in \mathbb{N}</math>, --- такой подход может использоваться, к примеру, при доказательстве независимости схем аксиом исчисления высказываний).