Propositional logic: Syntax
	n Propositional logic is the simplest logic –  illustrates basic ideas n The proposition symbols P1, P2 etc are sentences n If S is a sentence, S is a sentence (negation) n If S1 and S2 are sentences, S1  S2 is a sentence (conjunction) n If S1 and S2 are sentences, S1  S2 is a sentence (disjunction) n If S1 and S2 are sentences, S1  S2 is a sentence (implication) n If S1 and S2 are sentences, S1  S2 is a sentence (biconditional)