bugün

p => q gerektirmesi için, q' ==> p' önermesini elde etme.