Předchůdce (logika) - Antecedent (logic) - Wikipedia

An předchůdce je první polovina roku hypotetický tvrzení, kdykoli klauzule if předchází klauzuli then. V některých kontextech se předchůdce nazývá protasis.^[1]

Příklady:

• Li ${ displaystyle P}$, pak ${ displaystyle Q}$.

Toto je nelogická formulace hypotetického tvrzení. V tomto případě je předchůdce Pa následný je Q. V implikace, pokud ${ displaystyle phi}$ naznačuje ${ displaystyle psi}$ pak ${ displaystyle phi}$ se nazývá předchůdce a ${ displaystyle psi}$ se nazývá následník.^[2] Předchůdce a následný jsou připojeny prostřednictvím logické pojivo vytvořit a tvrzení.

• Li ${ displaystyle X}$ je tedy muž ${ displaystyle X}$ je smrtelný.

"${ displaystyle X}$ je muž “je předchůdcem tohoto návrhu.

• Pokud muži chodili po Měsíci, pak jsem francouzským králem.

Zde je předchůdcem „muži chodili po měsíci“.

Nechat ${ displaystyle y = x + 1}$. Li ${ displaystyle x = 1}$ pak ${ displaystyle y = 2}$

Viz také

• Potvrzující důsledek (klam)
• Popření předchůdce (klam)
• Nutnost a dostatečnost

Reference

Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.