next up previous
Next: Truth Functionality Up: Atomic and Complex Sentences Previous: General First Order Languages

Complex Sentences

Although individual members of the FOL differ considerably, what they share are the connectives and quantifiers that enable us to build complex sentences from atomic ones. In order to handle complex sentences, we need rules at two different levels:

All the connectives are truth functional. This means that the truth value of a sentence built using these connectives depends exclusively on the truth values of the simpler sentences out of which it is built.





Mike Rosner
Fri Oct 16 16:23:40 MET DST 1998