Soru:
0 S. 12. r(x): (x³ = 27) = (x! = 6) İspat: p: x³ = 27 ise p':x³ # 27 dir. q: x!= 6 ise q':x! # 6 dır. q' ⇒p': (x! #6) ⇒ (x³ +27)
0 S. 12. r(x): (x³ = 27) = (x! = 6) İspat: p: x³ = 27 ise p':x³ # 27 dir. q: x!= 6 ise q':x! # 6 dır. q' ⇒p': (x! #6) ⇒ (x³ +27) x! #6 ise x # 3'tür. x #3 ise x³ + 27'dir. q' ⇒p' doğrudur. O halde p⇒ q önermesi de doğrudur. Yukarıda verilen r(x) önermesinin doğruluğunu göstermek için gerçekleştirilen ispatta kullanılan yöntem aşağıdaki- lerden hangisidir? A) Olmayana ergi (Karşıt ters) B) Tümevarim C) Deneme D) Çelişki E) Aksine örnek verme