析取是什麼意思

在邏輯學中,析取(Disjunction)是一種邏輯連線詞,表示兩個或多個命題中至少有一個為真。在符號邏輯中,析取通常用「∨」表示,例如:

A ∨ B

這個表達式的意思是,命題 A 或命題 B 或兩者同時為真。如果 A 和 B 都是真的,則 A ∨ B 為真;如果 A 為假而 B 為真,則 A ∨ B 也為真;如果 A 和 B 都為假,則 A ∨ B 為假。

在日常生活中,析取也常用於表示選擇或決策,例如:

這裡的「要麼...要麼...」就是一種析取的表達方式。