Я немного борюсь с некоторой терминологией в логике высказываний c и, более конкретно, с использованием деревьев истины для доказательства чего-либо.
Упражнение, которое я сейчас пробую, доказывает Тавтология для следующего утверждения, с деревом истины:
(P or Q) -> P
Теперь, чтобы доказать тавтологию, я установил Ложь всего пропорции и просто следовал закону условного разложения.
Теперь, насколько я понимаю, когда у вас есть Предложение, оно «готово», когда все утверждения разбиты на отдельные «буквы» или отдельные утверждения. Но я не уверен, означает ли это, что я полностью разложился и доказал P?
Так что, если я прав, все, что мне не хватает, разлагается - (P или Q) еще немного, и я будет доказана тавтология?