All Questions
3
questions
4
votes
1
answer
2k
views
Proof of Principle of Duality: Show that $φ$' is logically equivalent to $¬φ$
Could anyone check if my proof is ok/ suggest any improvement please? I couldn't find a way to utilise the induction hypothesis so I am not sure if this is ok.
Let $φ$ be a formula built up using ...
3
votes
3
answers
13k
views
I want a clear explanation for the Principle of Strong Mathematical Induction
I understood the Principle of Mathematical Induction.
I know how to make a recursive definition.
But I am stuck with how the "Principle of Strong Mathematical Induction (- the Alternative Form)" ...
2
votes
1
answer
688
views
Structural Induction, Propostitonal formulae problem
I am kind of overwhelmed by this question. Can anyone give me some hints about where to start?
Propositional formulae PF are inductively defined over
the Boolean constants B := {1, 0} (true and ...