Next: 2 Truth-Functional Connectives
Up: Logical Translations
Previous: Contents
Contents
Index
1 Introduction
We introduce the connectives of first-order
logic.
We introduce predicates. And a very simple semantics
for them.
Jean Mark Gawron
2009-02-16