Koşullu Önerme
Anlatım
Koşullu Önerme
Koşullu (şartlı) önerme "p⟹q" (p ise q) biçimindedir ve YALNIZCA p doğru, q yanlış olduğunda YANLIŞTIR; diğer tüm durumlarda (p yanlış olduğunda dahi) DOĞRUDUR. Bu, günlük dildeki "eğer... ise" kullanımından FARKLI ve mantıkta sık yanlış anlaşılan bir noktadır: p yanlışken q'nun ne olduğu önemli değildir, önerme yine DOĞRU kabul edilir. Koşullu önermenin KARŞITI (q⟹p), TERSİ (~p⟹~q) ve KARŞIT TERSİ (~q⟹~p) tanımlanır; bir önerme ile karşıt tersi HER ZAMAN aynı doğruluk değerine sahiptir (denk önermelerdir).
Çözümlü örnek
Gerçek Sınav Sorusu
Aşağıda ilgili gerçek bir sınav sorusu ve çözümü yer almaktadır.
- Birim kareli zeminde, önerme olan HER cümle için 1 birim SAĞA, önerme OLMAYAN her cümle için 1 birim YUKARI hareket kuralı beş cümleye TEK TEK uygulanarak, Ahmet'in BAŞLANGIÇ noktasından hangi harfe ULAŞTIĞI şekil üzerinde İZLENİR; cevap A'dır.