析取詞是數學邏輯中一種命題連線詞。
基本介紹
- 中文名:析取詞
- 屬性:數學邏輯中一種命題連線詞
- 讀作:讀作“A或B”
- 表示:符號“∨”表示
用符號“∨”表示可兼的(相容的)析取詞,如A∨B即A和B的析取詞,讀作“A或B”,其真假關係是:A和B都假則A∨B假,否則A∨B真。不可兼的(互斥的)析取命題可用等值命題的否定表示,
如¬(A∨B),其真假關係是:A和B都假則¬(A∨B)真,
否則¬(A∨B)假。
析取詞是數學邏輯中一種命題連線詞。
析取詞是數學邏輯中一種命題連線詞。...... 如A∨B即A和B的析取詞,讀作“A或B”,其真假關係是:A和B都假則A∨B假,否則A∨B真。不可兼的(互斥的)析取...
如果已知一個合式公式為真,那么這個合式公式就可以和任意的合式公式構成析取。因為如果一個合式公式本身是真的,那么它和其他任意的合式公式所構成的析取就能夠...
析取消去規則(elimination rule of disjunction)是推理規則的一種,如果前提p∨q和¬p均為真,則可得結論命題q為真,由此得到的推理規則稱為析取消去規則。...
命題連線詞是由命題構成複合命題時所用的邏輯詞。...... 最常用的命題連線詞有否定詞、合取詞、析取詞、蘊涵詞、等值詞等。命題連線詞(propositional connectives),...