LPL 1.1-1.3 lecture

LPL 1.1-1.3 lecture - Atomic Sentences Language of...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Atomic Sentences Language of first-order logic (FOL): names predicates connectives quantifiers variables Unlike natural languages such as English, the language of FOL is artificial. It has been designed to allow us to see the structure of natural language. Because we will be working with both English and FOL, we will acquire the various components of FOL and learn how to translate between the two languages. One of the benefits of FOL is that it is designed to be unambiguous. Individual constants Individual constants are symbols that refer to some fixed individual object. In FOL, individual constants serve as names of objects and they can be expressed in different ways: Some individual constants are taken directly from English. Examples: max, claire, scruffy Some are merely represented by letters. Examples: a, b, c, d, e, f In FOL, every individual constant names exactly one object. No two objects can share the same name, though any single object can have more than one name.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 3

LPL 1.1-1.3 lecture - Atomic Sentences Language of...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online