Etiket Arşivi: Önerme

Mantık Konu Anlatımı

ÖNERME

Önerme: Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Önermeler genellikle p, q, r, s, t… gibi harflerle ifade edilir.
KRTK NOKTA: Soru, emir ve ünlem cümleleri önerme değildir.

Örnek:  Buraya gel. (emir)
Nasılsın? (soru)
Eyvah! (ünlem)

Cümleleri önerme değildir.
a) Önermeleri doğruluk değerleri: Bir önerme doğru ise doğruluk değeri 1 (bir), yanlış ise 0 (sıfır)’dır. Doğruluk değerlerinin gösterildiği tabloya doğruluk tablosu denir.
NOT: n tane önermenin tane doğruluk değeri vardır.

mantik-konu-anlatimi-1

b) Denk Önermeler: Doğruluk değeri aynı olan iki önermeye denk(eş değer) önermeler denir.
p ve q denk önermeler ise p≡q biçiminde gösterilir.
Örnek: p: Türkiye’nin başkenti Ankara’dır.
q: 2+4=6
Bu iki önerme de doğrudur. Bu yüzden p≡q yani bu iki önerme birbirine denktir.
c) Bir önermenin değili (olumsuzu): Bir önermenin hükmünün değiştirilmesi ile oluşan önermeye o önermenin olumsuzu(değili) denir. Bir p önermesinin değili p’ , , sembollerinden biri ile gösterilir.
NOT: Bir önermenin değilinin değili yine kendisine eşittir. ≡ p