前件
此條目沒有列出任何參考或來源。 (2017年1月26日) |
前件(antecedent),亦稱前提,是假言命題的前半部分。[1]
例子:
- 如果P,那麼Q。
這是假言命題的標準邏輯公式。在這種情況下,前件是P。[2]
- 如X是人,則X是必死的。
X是人是這個命題的前件。
- 如果人類已經在月亮上行走,那麼我是法國國王。
這裡的人類已經在月亮上行走是前件。
註釋
- ^ See Conditional sentence.
- ^ Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004