Truth and Atoms

• We're going to look at two valued (Boolean) logic.
• Statements are either True or False. (That's not always the case in reality is it? Is I am tall a True statement?)
• Atoms, or atomic sentences are things like John is a King or My shoe is white.
• These can be represented by constants J or by terms king(John)
• You can also use variables so king(x) refers to all the kings. We'll use lower case for variables in today's lecture.
• Atoms can have truth values so king(John) can be true or false, but not both.