Возможно, имелись в виду принципы булевой алгебры, которые лежат в основе условных утверждений. 2 Некоторые из них:

• Импликация («ЕСЛИ…, ТО…»). 2 Принцип, по которому истинность следствия (B) зависит от истинности условия (A). 2
• Эквиваленция («ТОГДА И ТОЛЬКО ТОГДА»). 2 Отношение между двумя утверждениями, которое говорит о том, что они имеют одинаковую истинностную оценку. 2
• Отсутствие отрицательных значений. 2 Этот принцип устанавливает, что в рамках булевой алгебры не существует понятий, непосредственно противоположных позитивным значениям. 2

Условные утверждения — это сложные утверждения, которые составлены с помощью логической конструкции «если …, то…». 1 Первое утверждение называется условием или посылкой, а второе — следствием. 1 Чтобы понять, истинно или ложно условное утверждение, нужно узнать, истинны или ложны его составные части. 1