Cтраница 4
Используя базис, можно явным образом перечислить все значения истинности булевой функции при всех возможных комбинациях значений истинности элементов, от которых она зависит. Для этого необходимо ввести некоторые операции над изображающими числами элементов, соответствующие операциям над высказываниями. [46]
При рассмотрении комбинаций высказываний основной целью является определение значения истинности этих сложных высказываний. [47]
Значение истинности высказываний А / В находят по значениям истинности составляющих его высказываний А и В с помощью операции, называемой логическим сложением и определяемой таблицей И. [48]
Существуют логические правила, позволяющие установить связь между значениями истинности различных предложений. [49]
Предикаты true и fail ( без аргументов) представляют значения истинности: первый достигается всегда, второй - никогда. [50]