Die Implikation p → q {\displaystyle {}p\rightarrow q} sei bereits bewiesen. Die Aussage p ′ {\displaystyle {}p'} hört sich ähnlich an wie die Aussage p {\displaystyle {}p} . Kann man daraus die Implikation p ′ → q {\displaystyle {}p'\rightarrow q} beweisen?