(Łac. potwierdzam tryb.) Prawdą jest również reguły wnioskowania, który stwierdza, że jeśli A jest prawdziwe, a oznacza B, a następnie B.