Propositional Logic:Use indirect truth tables to determine whether the following

rochelle_9

New member
argument is valid or invalid.? Is this valid or invalid?

P -> (Q · R)
R -> S
-------------------------
P -> S

-> is the sideways horseshoe symbol
 
Back
Top