Give a derivation of each of the following formal theorems (a) ,( ),( (
Fantastic news! We've Found the answer you've been seeking!
Question:
Give a derivation of each of the following formal theorems
(a) ϕ,(ϕ ⇒ ψ),(ϕ ⇒ (ψ ⇒ θ)) ⊢ θ
(b) ⊢ (ϕ ⇒ (ψ ≡ θ)) ≡ ((ϕ ⇒ ψ) ≡ (ϕ ⇒ θ)) (as usual, ≡ stands for ↔)
Related Book For
Posted Date: