Bu yazarın tüm kitapları
Tüm kitaplar
Ders kitapları
3itibaren ₺288,08
Электронная версия бесплатно
itibaren ₺288,08
Kitaplar Dan Cryan fb2, txt, epub, pdf formatlarında indirilebilir ya da çevrimiçi okunabilir.
Giriş yapın, yorum yapmak için
Alıntılar
Introducing Logic
Metin
assumption, which in this case was ¬q . So we reject the assumption, which gives us ¬¬q . It follows from the third axiom that if ¬¬q is true, then q is true. This is a weird result because it allows us to prove anything, even something whose truth does