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 tollensKnihy
Formální logika a sémantický web -- autor: Lukasová Alena, Žáček Martin, Vajgl Marek, Telnarová ZdeňkaPopis jako transmediální modus reprezentace -- autor: Wolf Werner
Modus vivendi -- autor: Mojžišová Zuzana
Modus Vivendi -- autor: Mojžišová Zuzana
Vláda módy -- autor: Thomasová Dana
Komentář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
