Logical System gentzen 8/29/06 Tutorial 3 The Main Connective Applet Your browser does not support html5 video. Tutorial 3 The Propositional Truth Applet Your browser does not support html5 video. Tutorial 3 The Truth Table Applet Your browser does not support html5 video.