Logical System howson Exercise: Finding a counter-example. If you can see this, your browser does not understand IFRAME. Book traversal links for The Reading a Counter Example from a Tree Widget ‹ The Modal Truth Table Widget Up The Lambda Verbose Parse Widget ›