• (p => q) önermesi ispatlanmaya çalışılırken (q' => p')'nun ispatlanması daha kolay olması durumunda kullanılan yöntemdir. bu yönteminin doğru olduğu şöyle gösterilebilir:
    (p => q) = (p' v q) = (q v p') = (q' => p').

    not: eşitlik sembolü yerine denklik sembolü daha doğru olurdu tabi ama napalım elimizden bu geldi.
hesabın var mı? giriş yap