Logical System bergmann 7/3/06 Propositional Main Connective Propositional Truth Table Line Propositional Satisfiable