Question

Prove the following sentence is valid, unsatisfiable or satisfiable by applying a sequence of logical inference procedures, not by truth table enumeration.

(I pass Math265 and I do not make an A) and (If I pass Math 374 then I make an A)

First, convert the sentence in the Propositional Logical sentence by defining the propositional symbols and connectives; then, prove it.

Answer 1