Mantık, doğru düşünmenin kurallarını inceler ve bu kuralları ifade etmek için "ve" ile "veya" gibi bağlaçları kullanır. Bu iki bağlaç, günlük hayatta sıkça kullandığımız ancak matematiksel mantıkta çok kesin anlamları olan ifadelerdir.
"Ve" bağlacı, birleştirdiği her iki önermenin de doğru olmasını gerektirir. Matematiksel sembolü "∧" işaretidir. p ve q önermesi, ancak ve ancak hem p hem de q doğruysa doğrudur.
Örneğin:
Bu bileşik önerme, ancak hava hem güneşli hem de sıcak olduğunda doğrudur. Eğer hava güneşli ama soğuksa, veya sıcak ama bulutluysa, önerme yanlış olur.
"Veya" bağlacı, mantıkta genellikle "dahil eden veya" (inclusive or) anlamında kullanılır. Matematiksel sembolü "∨" işaretidir. p veya q önermesi, p ve q'dan en az biri doğruysa doğrudur. İkisinin de doğru olması durumunda bile önerme yine doğrudur.
Örneğin:
Bu önerme şu durumlarda doğrudur:
Önermenin yanlış olması için hiçbirine çalışmamam gerekir.
İki bağlacın farkını anlamanın en iyi yolu doğruluk tablolarıdır. p ve q önermelerinin olası tüm doğruluk değerleri için bileşik önermelerin sonuçları aşağıdaki gibidir:
"Ve" Bağlacı (p ∧ q) Doğruluk Tablosu:
"Veya" Bağlacı (p ∨ q) Doğruluk Tablosu:
Bu temel farkları anlamak, hem günlük hayatta daha net iletişim kurmanıza hem de matematik ve bilgisayar bilimlerindeki mantık konularını daha iyi kavramanıza yardımcı olacaktır.