mantık

Q → (Q ∧ ¬Q) ∴ ¬Q   deniyorum   Sokrates ölümlüyse Sokrates ölümlü ve Sokrates ölümlü değil. O halde Sokrates ölümlü değil.   Varsayalım ki Sokrates ölümlü. Önermemizin ilk […]