18 and 25 Feb 2004
CS 3243 - Logical Agents
25
Propositional logic: Syntax
nPropositional logic is the simplest logic –  illustrates basic ideas
n
nThe proposition symbols P1, P2 etc are sentences
n
nIf S is a sentence, ØS is a sentence (negation)
nIf S1 and S2 are sentences, S1 Ù S2 is a sentence (conjunction)
nIf S1 and S2 are sentences, S1 Ú S2 is a sentence (disjunction)
nIf S1 and S2 are sentences, S1 Þ S2 is a sentence (implication)
nIf S1 and S2 are sentences, S1 Û S2 is a sentence (biconditional)