Proof of the equivalence To prove the equivalence p ⇔ q we have to prove both
implications: p ⇒ q and q ⇒ p . Proof by mathematical induction We use this method in proving theorems concerning
natural numbers, it means statements of the form: ∀ n ∈ N p ( n ), where p ( n ) is a logic sentence.
... zobacz całą notatkę