命題演算ppt課件-展示頁
2025-05-15 18:17本頁面
【正文】 EFINITION 2 The propositions p and q are called logically equivalent if p q is a tautotogy. The notation p q denotes that p and q are logically equivalent.邏輯等值，或邏輯等價Date 6Deren Chen, Zhejiang Univ.Propositional Equivalences命題演算命題演算 EXAMPLE 2 Show that (p∨ q) and p∧ q are logically equivalent. This equivalence is one of De Man39。 可滿足命題公式（ Satisfaction）公式中的命題變量無論怎樣代入，公式對應的真值總有一種情況為 T。Propositional Equivalences命題演算命題演算 命題演算 Propositional EquivalencesDate 1Deren Chen, Zhejiang Univ.Propositional Equivalences命題演算命題演算 命題 (Proposition) 從簡單命題 (atomic proposition)到 復合命題 (positional proposition) 從命題常量 (propositional constant)到 命題變量 (propositional variable) 從復合命題 (positional proposition)到 命題公式 (propositional formulas)Date 2Deren Chen, Zhejiang Univ.Propositional Equivalences命題演算命題演算 永真命題公式（ Tautology）公式中的命題變量無論怎樣代入，公式對應的真值恒為 T。 永假命題公式（ Contradiction)公式中的命題變量無論怎樣代入，公式對應的真值恒為 F。一般命題公式（ Contingency）既不是永真公式也不是永假公式。s laws for propositions, named after the English mathematician Augustus De Man, of the midnieenth century.Solution: The truth tables for these propositions are displayed in Table 2. Since the truth values of the propositions (p∨ q) and p∧ q agree for all possible binations of the truth values of p and q, it follows that these propositions are logically equivalent.Date 7Deren Chen, Zhejiang Univ.Propositional Equivalences命題演算命題演算 Table 2Da
教學課件相關推薦
鄂ICP備17016276號-1