Mantık bağlaçları, basit önermeleri birleştirerek bileşik önermeler oluşturmamızı sağlayan sembollerdir. Günlük hayatta kullandığımız "ve", "veya", "ya da" gibi bağlaçların matematikteki karşılıklarıdır.
p ve q bileşik önermesi, her iki önerme de doğruysa doğru, diğer durumlarda yanlıştır. Sembolü "∧" dır.
Örnek:
Bu önerme, ancak hava hem güneşli hem de sıcak olduğunda doğrudur.
p veya q bileşik önermesi, en az bir önerme doğruysa doğru, her ikisi de yanlışsa yanlıştır. Sembolü "∨" dır.
Örnek:
Bu önerme, yalnızca kalem alsam da, yalnızca silgi alsam da, ikisini de alsam da doğrudur. Hiçbirini almasam yanlış olur.
p ya da q bileşik önermesi, yalnızca bir önerme doğruysa doğru, her ikisi doğru veya her ikisi yanlışsa yanlıştır. Sembolü "⊻" dır.
Örnek:
Bu önerme, sadece bir takım kazandığında doğrudur. Beraberlik olduğunda veya her ikisi de kazanamayacağı için ikisi birden doğru olamaz, bu durumda önerme yanlış olur.
p ise q bileşik önermesidir. Sembolü "⇒" dır. p'ye hipotez, q'ya ise hüküm denir. Bu bileşik önerme, p doğru ve q yanlışken yanlış, diğer tüm durumlarda doğrudur.
Örnek:
Bu önerme, yağmur yağdığı halde yerler ıslak değilse yanlış, diğer tüm durumlarda (yağmur yağmıyorsa veya yerler başka bir sebepten ıslaksa) doğru kabul edilir.
p ancak ve ancak q bileşik önermesidir. Sembolü "⇔" dır. Her iki önermenin doğruluk değeri aynı olduğunda (ikisi de doğru VEYA ikisi de yanlış) doğru, farklı olduğunda yanlıştır.
Örnek:
Bu önerme, bir sayı hem 2'ye bölünüp hem çiftse (ikisi de doğru) veya hem 2'ye bölünmeyip hem tekse (ikisi de yanlış) doğrudur.
Aşağıdaki tablo, p ve q'nun tüm olası doğru (D) ve yanlış (Y) değerleri için bileşik önermelerin sonucunu gösterir.
| p | q | p ∧ q | p ∨ q | p ⊻ q | p ⇒ q | p ⇔ q |
|---|---|---|---|---|---|---|
| D | D | D | D | Y | D | D |
| D | Y | Y | D | D | Y | Y |
| Y | D | Y | D | D | D | Y |
| Y | Y | Y | Y | Y | D | D |
Hatırlatma: Mantık, matematiksel düşüncenin temelidir. Bu bağlaçları iyi anlamak, daha karmaşık konuları öğrenmenizde size çok yardımcı olacaktır.