next up previous contents index
Next: 2.1 And Up: Logical Translations Previous: 1 Introduction   Contents   Index


2 Truth-Functional Connectives



Subsections

Jean Mark Gawron 2009-02-16