先行詞（論理）

仮説的な文の前半（論理）

前提節とは、仮定 法の前半部分であり、if節がthen節に先行する場合に用いられる。文脈によっては、前提節はprotasisと呼ばれることもある。^[1]

例:

• もし なら、。 ${\displaystyle P}$ ${\displaystyle Q}$

これは仮説命題の非論理的な定式化です。この場合、前提はP、結論はQです。「が意味する」という含意において、は前提、は結論と呼ばれます。^[2]前提と結論は論理接続詞によって結ばれ、命題を形成します。 ${\displaystyle \phi }$ ${\displaystyle \psi }$ ${\displaystyle \phi }$ ${\displaystyle \psi }$

• 人間であるならば、死ぬ運命にある。 ${\displaystyle X}$ ${\displaystyle X}$

「人間である」はこの命題の前提であり、「死ぬ」はこの命題の帰結である。 ${\displaystyle X}$ ${\displaystyle X}$

• もし人類が月面を歩いたことがあるなら、私はフランスの王だ。

ここでは、「人類は月面を歩いた」が先行詞であり、「私はフランスの王だ」が後続詞です。

させて。 ${\displaystyle y=x+1}$

• もしそうなら。 ${\displaystyle x=1}$ ${\displaystyle y=2}$

「」はこの仮説命題の前提であり、「」はこの仮説命題の結論です。 ${\displaystyle x=1}$ ${\displaystyle y=2}$

参照

• 結果的に
• 帰結の肯定（誤謬）
• 先行詞の否定（誤謬）
• 必要性と十分性

参考文献

1. 条件文を参照。
2. 集合、関数、論理 - 抽象数学入門、キース・デブリン、チャップマン＆ホール/CRC数学、第3版、2004年

「https://en.wikipedia.org/w/index.php?title=Antecedent_(logic)&oldid=1316266573」から取得