pravidlo odloučení
Latinsky modus ponens, logika, jedno ze základních pravidel odvozování v axiomatických soustavách. Je-li mezi dokázanými formulemi implikace a její antecedent, pak i konsekvent je dokázanou formulí.
Vytvořeno:
14. 3. 2000
Aktualizováno:
29. 10. 2007
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!