Logical System gentzen 5/15/12 Propositional Main Connective Your browser does not support html5 video. Propositional Truth Table Line Your browser does not support html5 video. Propositional Satisfiable Your browser does not support html5 video.
