前件

維基百科,自由的百科全書

前件(antecedent),亦稱前提,是假言命題的前半部分。[1]

例子:

  • 如果P,那麼Q

這是假言命題的標準邏輯公式。在這種情況下,前件是P[2]

  • 如X是人,則X是必死的。

X是人是這個命題的前件。

  • 如果人類已經在月亮上行走,那麼我是法國國王。

這裡的人類已經在月亮上行走是前件。

註釋[編輯]

  1. ^ See Conditional sentence.
  2. ^ Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004

參見[編輯]