Logical System gentzen Consistent Your browser does not support html5 video. Invalid Your browser does not support html5 video. Book traversal links for Help for Remaining Propositional Games ‹ Help with First Three Propositional Games Up Quiz 2 ›