Inco rrect Answer.
The formula p
p is a theorem of propositional logic and we proved it in the Section 1.2.2 on "Derived rules" in Chapter 1; we called it the
Law of the excluded middle
.
Back to Question.
Next Question.
Inco
rrect Answer.
p is a theorem of propositional logic and we proved it
in the Section 1.2.2 on "Derived rules" in Chapter 1; we called it the
Law of the excluded middle.