Değil ve Bileşik Önermeler
Bir önermenin hükmünün değişmesiyle oluşan yeni önermeye "değili" veya "olumsuzu" denir ve p' ile gösterilir. İki veya daha fazla önermenin bağlaçlarla birleştirilmesiyle oluşan önermelere ise "bileşik önerme" denir.
Mantıkta kullanılan temel bağlaçlar şunlardır: "Ve" (∧), "Veya" (∨), "İse" (→), "Ancak ve Ancak" (↔), "Ya da" (∨).
"Ve" bağlacı (∧) ile birleştirilen iki önerme, yalnızca ikisi de doğruysa doğru sonuç verir. Diğer tüm durumlarda sonuç yanlıştır.
"Veya" bağlacı (∨) ile birleştirilen iki önerme, yalnızca ikisi de yanlışsa yanlış sonuç verir. Diğer tüm durumlarda sonuç doğrudur.
İpucu: Bileşik bir önermenin değilini alırken, De Morgan kuralları işine yarar: (p∨q)' → p'∧q' ve (p∧q)' → p'∨q'