27 p: 2 çift 25 p: 14+ 3 = 7 X 9:√7-√2= √5 x T: 5.2 = 10 port q: "93 ik örnekle önermeleri veriliyor. Buna göre aşağıdaki bileşik önermelerden hangisi doğrudur? Buna veya aşağı Ovo A) (pvanr x B) pv(r
27 p: 2 çift 25 p: 14+ 3 = 7 X 9:√7-√2= √5 x T: 5.2 = 10 port q: "93 ik örnekle önermeleri veriliyor. Buna göre aşağıdaki bileşik önermelerden hangisi doğrudur? Buna veya aşağı Ovo A) (pvanr x B) pv(r= a) X C) p= (anr) ✓ D) =(49) EX Pn(rva) x Aq Cp ELF ) 2x-1 >,x² v v X+2 73x 28 26 3x R, 2x - 1 2 xya da x + 2 3x açık önermesi doğru olduğuna göre x yerine aşağıdakilerden hangisi yazılamaz? A) -4 B)-2 C) -1 DO E) 1 Tü tü D r w Aksiyom: Doğruluğu ispata gerek duyulmayacak derecede açık olan önerme- lerdir. "Parçaların toplamı bütünü verir." Teorem: Doğruluğu ispatlanmış önermelerdir. Aksiyomlardan veya kendisin- den önce ispatlanmış teoremlerden türetilir. p = q koşullu önermesi şeklinde ifade edilen bir teorem iki kısımdan oluşur. P: Daha önceden ispatlanmış teoremler veya aksiyomlardır. Bu kısma hipotez denir. Bir teoremde hipotez daima doğrudur. q: Teoremin ulaşılması amaçlanan sonucudur. "Hüküm" adını alır. Tümevarim: Parçalardan hareket ederek bütünün doğruluğunu bulmaktır. Özel kurallardan başlanarak genel kurallar elde edilir.