ABSTRACT
Example 10.1. There are two strategies to prove a theorem of the formH → C: “direct proof” and “proof by contradiction.” A direct proof (in the form of string of sentences) may look like this:
1. H → P (by axiom B) 2. Q (by axiom A and 1) 3. H → R (by 1 and 2) .... .... 835. H → C (by axiom S and 3) One usually translates the above proof into argot by applying disquotation to
the following text; to simplify our exposition we will still refer to the following text as argot.
