"Veya" Bağlacı (∨)

Günlük hayatta sürekli kullandığın "veya" kelimesi matematikte de çok önemli! "Veya" bağlacı ile birleştirilen önermeler p ∨ q şeklinde yazılır.

Doğruluk kuralı çok basit: İki önermeden en az biri doğruysa, tüm önerme doğrudur. Sadece ikisi de yanlışken önerme yanlış olur. Mesela "İstanbul bir ildir veya başkenttir" önermesinde İstanbul il olduğu için tüm önerme doğru çıkar.

Temel özellikler şunlar: p ∨ p = p (aynı önermeyi tekrarlaman bir şey değiştirmez), p ∨ 0 = p (yanlış bir şey eklemen seni etkilemez), p ∨ 1 = 1 (doğru bir şey varsa hep doğru).

💡 Hatırla: "Veya" bağlacında en az birinin doğru olması yeterli!

"Veya" Bağlacının Özellikleri ve "Ya Da" Bağlacı

Veya bağlacının özellikleri diğer matematik işlemleri gibi çalışır. Değişme özelliği var $p ∨ q = q ∨ p$, birleşme özelliği var $(p ∨ q) ∨ r = p ∨ (q ∨ r)$.

"Ya da" bağlacı (⊕) ise tamamen farklı çalışır. Bu bağlaç önermelerin doğruluk değerleri farklı olduğunda doğru, aynı olduğunda yanlış çıkar.

Mesela "5 doğal sayıdır ya da asal sayıdır" önermesinde 5 hem doğal hem asal olduğu için önerme yanlış olur. Çünkü "ya da" bağlacı sadece birinin doğru olmasını ister.

💡 Fark: "Veya" en az birini, "ya da" sadece birini ister!

"İse" Bağlacı (→) ve De Morgan Kuralları

Koşullu önermeler günlük hayatta sürekle karşılaştığın durumlar. "Çalışırsan başarılı olursun" gibi cümleler p → q şeklinde yazılır.

Doğruluk kuralı ilginç: Sadece ilk önerme doğru, ikincisi yanlışken önerme yanlış olur. Diğer tüm durumlarda doğrudur. Çünkü yalan söylediğin sadece "söz verip tutmadığın" andır.

De Morgan kuralları çok kullanışlı: (p ∧ q)' = p' ∨ q' ve (p ∨ q)' = p' ∧ q'. Bu kurallar "değil" işlemini parantez içine dağıtmana yarar.

💡 İpucu: p → q, aslında p' ∨ q ile aynı anlamda!

"İse" Bağlacının Detayları

Koşullu önermelerde en önemli nokta: Sadece "söz verip tutmama" durumunda yalan söylemiş olursun. Diğer tüm durumlarda doğru çıkar.

Pratik formüller ezberlemen gereken: p → p = 1 (kendi kendine koşul hep doğru), p → 0 = p' (imkansıza koşul koyarsan tersini söylemiş olursun), 1 → p = p (kesin doğrudan bir şey çıkarsan o şey doğrudur).

Bu bağlacın günlük hayattaki karşılığı çok net: "Sınavdan 90 alırsam telefon alacağım" dersen, 90 alıp telefon almazsan yalan söylemiş olursun.

💡 Mantık: Koşullu önermelerde sadece "vaat edip yapmamak" yanlıştır!

Önermelerin Karşıtı, Tersi ve Karşıt Tersi

p → q önermesinden üç farklı önerme türetebilirsin. Karşıtı q → p (yer değiştirme), tersi p' → q' (ikisinin de değilini alma), karşıt tersi q' → p' (karşıt alıp değillerini alma).

Bu kavramlar geometri teoremlerinde çok kullanılır. Mesela "Eşkenar üçgense eş açılıdır" önermesinin karşıtı "Eş açılıysa eşkenar üçgendir" olur.

Önemli nokta: Bir önerme ile karşıt tersi hep aynı doğruluk değerine sahiptir. Yani p → q ile q' → p' eşdeğerdir.

💡 Dikkat: Sadece önerme ile karşıt tersi birbirine eşittir!

"Ancak ve Ancak" Bağlacı (↔)

İki yönlü koşullu önermeler matematikte tanımlar için kullanılır. p ↔ q, "p ancak ve ancak q" anlamına gelir.

Doğruluk kuralı basit: İki önerme aynı doğruluk değerine sahipse doğru, farklıysa yanlış. Mesela "24 çift sayıdır ancak ve ancak 2'ye bölünür" önermesi her iki taraf da doğru olduğu için doğrudur.

Pratik formül: p ↔ q = (p → q) ∧ (q → p). Yani iki yönlü koşul, aslında karşılıklı iki koşulun "ve" bağlacı ile birleşmesidir.

Bu bağlaç matematik tanımlarında çok kullanılır: "Bir sayı çiftse ancak ve ancak 2'ye bölünürse" gibi.

💡 Anahtar: "Ancak ve ancak" tam eşitlik demektir!