Logical System gentzen Quiz 7 Consistency 6/19/09 Quiz 7 Consistent [This has been done in the downloadable application, but the principles apply to the applet version also.] Your browser does not support html5 video.