ankieta
Jeśli prawdziwa jest implikacja oraz prawdziwy jest jej poprzednik, to następnik musi być także prawdziwy:
Uwaga - więcej niż jedna odpowiedź może być prawidłowa!
zdanie to jest prawdziwe
zdanie to wyraża regułę MTT w klasycznym rachunku zdań
zdanie to jest fałszywe
zdanie to wyraża regułę MPP w klasycznym rachunku zdań