Pojem modus ponens
Slovo:
modus ponens
Význam:
pravidlo odloučení závěrečného soudu z řady
Některá související slova
modus tollensKomentáře ke slovu modus ponens
dodatek | neregistrovaný - chejnik | 25.05.2005 14:31 | |||||||||
Modus ponens je základní odvozovací pravidlo ve formálním systému Hilbertova typu - znamená, že když máme formule A a A imp B pak z toho vyplývá platnost B | |||||||||||
Navigace
předchozí slovo: » modus operandinásledující slovo: » modus tollens
slovo se nachází na stránce: M:76
krok zpět: » zpět
hledat jiné cizí slovo: » hledání
upravit (opravit) toto slovo: » upravit
přidat do slovníku nové slovo: » přidat