pravidlo odloučení
pravidlo odloučení, lat. modus ponens - log. jedno ze zákl. 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í.
pravidlo odloučení, lat. modus ponens - log. jedno ze zákl. 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í.
