MANTIK DERSİNE GİRİŞ

Pencils border

Light wood

“İSE” BAĞLACI ( ⇒ )

p ile q önermelerinin “ise” bağlacı ile bağlanmasıyla elde edilen bileşik önermeye&nbsp;koşullu önerme&nbsp;denir ve&nbsp;p ⇒ q&nbsp;(p ise q) biçiminde gösterilir.

p:&nbsp;“Pelin başkan seçilir.”

q:&nbsp;“Sınıf temiz olur.”

p ⇒ q:&nbsp;“Pelin başkan seçilir ise sınıf temiz olur.”

p ⇒ q önermesi p’ ∨ q önermesine denktir.

“YA DA” BAĞLACI ( ⊻ )

p ile q önermelerinin “ya da” bağlacı ile bağlanmasıyla elde edilen bileşik önermeye&nbsp;p ya da q önermesi&nbsp;denir ve&nbsp;p ⊻ q&nbsp;biçiminde gösterilir.

p:&nbsp;“5 doğal sayıdır.” önermesi doğrudur. (p ≡ 1)

q:&nbsp;“5 asal sayıdır.” önermesi doğrudur. (q ≡ 1)

p ⊻ q:&nbsp;“5 doğal sayıdır ya da asal sayıdır.” önermesi yanlıştır. (p ⊻ q ≡ 0)

BİLEŞİK ÖNERME NEDİR?

İki veya daha fazla önermenin&nbsp;ve, veya, ya da, ise, ancak ve ancak&nbsp;bağlaçları ile birleştirilmesiyle elde edilen yeni önermelere&nbsp;bileşik önerme&nbsp;denir.

“VE” BAĞLACI ( ∧ )

p ile q önermelerinin “ve” bağlacı ile bağlanmasıyla elde edilen bileşik önermeye&nbsp;p ve q önermesi&nbsp;denir ve&nbsp;p ∧ q&nbsp;biçiminde gösterilir.

p:&nbsp;“2 asal sayıdır.” önermesi doğrudur. (p ≡ 1)

q:&nbsp;“2 tek sayıdır.” önermesi yanlıştır. (q ≡ 0)

p ∧ q:&nbsp;“2 asal sayıdır ve tek sayıdır.” önermesi yanlıştır. (p ∧ q ≡ 0)

Misc texture 2

◼  Bir ifadenin önerme olabilmesi için kesin hüküm bildirmesi gerekir. Önemli olan ifadenin doğru veya yanlış olması değil, doğruluğu ve yanlışlığında herkesin hemfikir olabilmesidir.

◼ &nbsp;“Ali’nin boyu uzundur.” (önerme&nbsp;değildir) Çünkü uzun olmanın bir ölçütü yoktur.

◼ “Türkiye’nin başkenti Ankara’dır.”&nbsp;(önermedir) Çünkü başkentin Ankara olup olmadığı belirlenebilir.

“VEYA” BAĞLACI ( ∨ )

p ile q önermelerinin “veya” bağlacı ile bağlanmasıyla elde edilen bileşik önermeye&nbsp;p veya q önermesi&nbsp;denir ve&nbsp;p ∨&nbsp;q&nbsp;biçiminde gösterilir.

p:&nbsp;“İstanbul bir ildir.” önermesi doğrudur. (p ≡ 1)

q:&nbsp;“İstanbul başkenttir.” önermesi yanlıştır. (q ≡ 0)

p ∨ q:&nbsp;“İstanbul bir ildir veya başkenttir.” önermesi doğrudur. (p ∨ q ≡ 1)

“ANCAK VE ANCAK” BAĞLACI ( ⇔ )

p ile q önermelerinin “ancak ve ancak” bağlacı ile bağlanmasıyla elde edilen bileşik önermeye&nbsp;iki yönlü koşullu önerme&nbsp;denir ve&nbsp;p ⇔ q&nbsp;(p ancak ve ancak q) biçiminde gösterilir.

p:&nbsp;“24 çift bir sayıdır.” (p ≡ 1)

q:&nbsp;“24 sayısı 2’ye tam bölünür.” (q ≡ 1)

p ⇔ q:&nbsp;“24 sayısı çift bir sayıdır ancak ve ancak 2’ye tam bölünür. (p ⇔ q ≡ 1)