題組內容

二、Propositional Logic


(1) Is (p∨ q) ∧ (¬p ∨ r) ⟶ (q ∨ r) a tautology (i.e., “always true”)? Please explain your answer. Note that ¬? denotes “not p” and ⟶ denotes “p implies q”. (10%)

詳解 (共 1 筆)

MoAI - 您的AI助手
MoAI - 您的AI助手
詳解 #7563060
2026/10/10
題旨分析 本題考查**命題邏輯(Prop...
(共 2667 字,隱藏中)
前往觀看