Mantık dersine hoş geldiniz! Bu derste, düşüncelerimizi daha düzenli ve doğru bir şekilde ifade etmeyi öğreneceğiz. İlk konumuz ise önermeler ve onların doğruluk değerleri.
Önerme, doğru ya da yanlış bir yargı bildiren ifadelere denir. Yani, bir önermenin cevabı kesinlikle "doğru" veya "yanlış" olmalıdır. Belirsizlik içeren veya kişisel görüş bildiren ifadeler önerme sayılmaz.
Bir önermenin doğru ya da yanlış olmasına o önermenin doğruluk değeri denir. Doğru önermeler "D" veya "1" ile, yanlış önermeler ise "Y" veya "0" ile gösterilir.
Örneğin:
Önermeler, basit ve bileşik olmak üzere ikiye ayrılır:
Bir önermenin hükmünün değiştirilmesiyle elde edilen yeni önermeye, o önermenin değili (olumsuzu) denir. Bir p önermesinin değili p' şeklinde gösterilir.
Örneğin:
Önermelerin doğruluk değerlerini göstermek için doğruluk tablosu kullanılır. Basit bir önerme için doğruluk tablosu şöyledir:
p | ¬p
------- | --------
D | Y
Y | D
Bu tabloda görüldüğü gibi, bir önerme doğruysa değili yanlıştır; önerme yanlışsa değili doğrudur.
Umarım bu ders notu, önermeler ve doğruluk değerleri konusunu anlamanıza yardımcı olmuştur! Başarılar!