By constructing a derivation tree, determine whether the following formula is true or false. ((P ⊃ (Q ∨ R)) ∧ ¬R) ⊃ (P ⊃
Posted: Sat May 14, 2022 3:49 pm
By constructing a derivation tree, determine whether the
following formula is true or false. ((P ⊃ (Q ∨ R)) ∧ ¬R) ⊃ (P ⊃ Q)
You can assume that P, Q and R are atomic formulae.
following formula is true or false. ((P ⊃ (Q ∨ R)) ∧ ¬R) ⊃ (P ⊃ Q)
You can assume that P, Q and R are atomic formulae.