?).Проверим, достигаем ли мы нужной цели с помощью данной комбинации. Если ? и ? ложны, то ложны правильные формулы (?&?) и (?&?) и, следовательно, по свойству дизъюнкции ложна и вся большая формула. Если же ? и ? одновременно истинны, то опять обе конъюнкции ложны, так как в них входят ложные высказывания, получающиеся из истинных путем отрицания, и, следовательно, вся дизъюнкция опять является ложной. И лишь тогда, когда из двух высказываний ? и ? одно истинно, а другое ложно, мы получаем истинность всего высказывания. После этого уточнения правильная формула исчисления высказываний, соответствующая нашему примеру, примет вид ((а&((b&c)(b&c)))&d).
Рассмотрим еще одну цитату из того же стихотворения: «…Если трон находится в стране в руках деспо?та, тогда дворянства первая забота сменить основы власти и закон». Введем два элементарных высказывания: g – «Трон находится в стране в руках деспо?та» и h – «Дворянства первая забота сменить основы власти и закон». Тогда логическая структура всего высказывания может быть представлена в виде (ЕСЛИ g ТОГДА h). Для перехода к правильной формуле исчисления высказываний воспользуемся импликацией. Раньше она не встречалась. По определению выражение ?? истинно во всех случаях, кроме того, когда ? истинно, а ? ложно. Другими словами, из истинности ? в импликации, которая является истинной, всегда следует истинность ?.
Исследуем запись (g
h). Если g истинно, то h должно быть истинно, если фраза, которая вложена Д. Самойловым в уста Пестеля, является истинной. Это хорошо, но что будет в случае, когда утверждение g ложно? Для импликации это означает, что как при истинности 
