consequentia mirabilis
-
formal gösterimi:
(-p—›p)—›p olan önerme.
ispatı:
eğer p doğru ise p doğrudur: p—›p
eğer p yanlış değil ise p doğrudur: -p—›p
(pv-p)—› p doğru olsun veya olmasın p doğrudur: p
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap