Help with First Three Propositional Games, if you need it

Logical System
default

7/3/06

Propositional Main Connective

Propositional Truth Table Line

Propositional Satisfiable