课件数理逻辑mlchapter01propositionallogic1.pptxVIP

Chapter 1 Propositional Logic ;1.3 propositional logic as a formal language(page 31) Proposition and propositional atom Definition 1.27 The well-formed formula of propositional logic are those, which we obtain by using the construction rulers below, and only those finitely many time: ;Atomic: Every propositional atom p, q, r,…. and p1, p2, p3 ,…is a well-formed formula ﹁: if ? is a a well-formed formula, then so (﹁?) ∧: if ? and ? are well-formed formula, then so (?∧?) ∨: if ? and ? are well-formed formula, then so (?∨?) →: if ? and ? are well-formed formula, then so (?→?) ; Backu