Firstorder logic cs一阶逻辑政务司司长.swarthmore.pptVIP

Propositional and First-Order Logic Chapter 7.4-7.5, 7.7, 8.1─8.3, 8.5 Propositional Logic Propositional logic Logical constants: true, false Propositional symbols: P, Q, S, ... (atomic sentences) Wrapping parentheses: ( … ) Sentences are combined by connectives: ? ...and [conjunction] ? ...or [disjunction] ?...implies [implication / conditional] ?..is equivalent [biconditional] ? ...not [negation] Literal: atomic sentence or negated atomic sentence Examples of PL sentences P means “It is hot.” Q means “It is humid.” R means “It is raining.” (P ? Q) ? R “If it is hot and humid