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

Předchůdce je první polovina hypotetické tvrzení , kdykoli if-clause předchází pak-klauzule. V některých kontextech se předchůdce nazývá protáza .

Příklady:

• Pokud ano . ${\ displaystyle P}$${\ displaystyle Q}$

Toto je nelogická formulace hypotetického tvrzení. V tomto případě, předchůdce je P , a následné je Q . V implikaci , pokud implikuje, pak se nazývá předchůdce a nazývá se následník. Předcházející a následné jsou spojeny pomocí logické spojky a tvoří tak propozici . ${\ displaystyle \ phi}$${\ displaystyle \ psi}$${\ displaystyle \ phi}$${\ displaystyle \ psi}$

• Pokud je muž, pak je smrtelný. ${\ displaystyle X}$${\ displaystyle X}$

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

• 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“.

Pojďme . Pokud tedy ${\ displaystyle y = x + 1}$${\ displaystyle x = 1}$${\ displaystyle y = 2}$

Viz také

• Potvrzování následku (klam)
• Popření předchůdce (klam)
• Nutnost a dostatečnost

Reference

Tento článek související s logikou je útržek . Wikipedii můžete pomoci rozšířením .

• proti
• t
• E