Mantık ve Önermeler
Mantık, matematik dünyasının en temel yapı taşlarından biridir. Kesin hüküm içeren ifadeler önermedir ve her önerme doğru (1) ya da yanlış (0) değer alır.
"Ve" bağlacı (∧) için tüm önermelerin doğru olması gerekir. "Veya" bağlacı (∨) için ise en az bir önermenin doğru olması yeterlidir. "Ya da" bağlacında sadece biri doğru olmalıdır, "ise" bağlacında ise 1 değeri önemlidir.
Bir önermenin değilini almak için kullanılan işlem: (P')'=P şeklinde gösterilir. Ayrıca De Morgan kuralları ile (P∧Q)'≡P'∨Q' ve (P∨Q)'≡P'∧Q' dönüşümleri yapılabilir.
💡 İki önermesel ifadenin eşit olması için doğruluk tablosundaki tüm değerleri aynı olmalıdır!










