(Latinsky kladných režimu. ) Pravidlo odvození, které uvádí, že pokud je pravda, A a A znamená B, B je také pravda.