前件
此条目没有列出任何参考或来源。 (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