Question 1
Is “(H ∙ A) ⊃ G
.·. ~G ⊃ ~ (H v A)”valid or invalid? In the truth table for determining this, which specific rows, if any, are relevant?
◦ invalid; 2
nd and 4
th rows
◦ invalid; 4
th and 6
th rows
◦ valid; it has no rows showing invalidity
Question 2
Is “B ≡ (O ∙ ~K)
.·. O v (K v ~B)” valid or invalid? In the truth table for determining the validity of this formula, which specific rows, if any, are relevant to showing this?
◦ invalid; 2
nd and 4
th rows
◦ invalid; 1
st and 3
rd rows
◦ valid; it has no rows showing invalidity