Karşıt tersi yöntemiyle ispat yapmaya çalışacağım.
P önermesi ≡(1/a) = (1/b )+ (1/c)
Q önermesi ≡ a<b+c
Tüm Reklamları Kapat
P => Q ≡ (1/a) = (1/b )+ (1/c) =>(ise) a<(b+c)
(P => Q)nun karşıt tersini alırsak:
Q '=> P' ≡ a ≥ b+c => (1/a) ≠ (1/b)+(1/c)
Burada basitçe a=5, b=c=2 dersek üstteki önermemiz 1/5 ≠ (1/1)+(1/1) olacağından dolayı doğru olur. Bir bileşik önermenin karşıt dersi doğruysa kendisi de doğrudur.
