next up previous
Next: Individual Constants Up: No Title Previous: What are Premises and

Atomic Sentences

Atomic sentences correspond to the simplest declarative sentences of English, and often consist of names and predicates.

Claire gave Scruffy to Max

In first order logic (FOL), atomic sentences can also be formed by combining names (or individual constants) and predicates, albeit according to slightly different rules.

gave(Claire, Scruffy, Max)

Different versions of FOL have different conventions for forming names and predicates and different conventions for for combining them.



Mike Rosner
Thu Oct 15 17:04:56 MET DST 1998