p: "Yağmur yağıyor" ve q: "Yerler ıslak" önermeleri veriliyor. p⇒q önermesinin "veya" bağlacı cinsinden eşdeğeri aşağıdakilerden hangisidir?
A) p∨qBu soruda, $p \Rightarrow q$ şeklindeki bir koşullu önermenin "veya" ($ \lor $) bağlacı cinsinden eşdeğerini bulmamız isteniyor. $p$: "Yağmur yağıyor" ve $q$: "Yerler ıslak" önermeleri verilmiş olsa da, bu önermelerin içeriği sadece bağlamı anlamamıza yardımcı olur; matematiksel mantıkta çözüm yolu önermelerin kendisinden bağımsızdır.
Koşullu Önerme ($p \Rightarrow q$) Nedir?
Bir koşullu önerme, "$p$ ise $q$" şeklinde okunur. Yani, eğer $p$ doğruysa, $q$'nun da doğru olması gerektiğini ifade eder. Bu önerme sadece $p$ doğru iken $q$ yanlış olduğunda yanlış olur. Diğer tüm durumlarda doğrudur.
Eşdeğerlik Kuralı:
Mantıkta, her koşullu önermenin ($p \Rightarrow q$) "değil" ($'$) ve "veya" ($ \lor $) bağlaçları kullanılarak ifade edilebilen bir eşdeğeri vardır. Bu temel eşdeğerlik kuralı şöyledir:
$p \Rightarrow q \equiv p' \lor q$
Bu kural, koşullu önermelerin en önemli eşdeğerliklerinden biridir ve genellikle doğruluk tabloları ile ispatlanır.
Doğruluk Tablosu ile İspat (Anlaşılırlık İçin):
Bu eşdeğerliği daha iyi anlamak için doğruluk tablolarını inceleyelim:
$p \Rightarrow q$ için Doğruluk Tablosu:
| $p$ | $q$ | $p \Rightarrow q$ |
|---|---|---|
| D | D | D |
| D | Y | Y |
| Y | D | D |
| Y | Y | D |
$p' \lor q$ için Doğruluk Tablosu:
| $p$ | $q$ | $p'$ | $p' \lor q$ |
|---|---|---|---|
| D | D | Y | D |
| D | Y | Y | Y |
| Y | D | D | D |
| Y | Y | D | D |
Gördüğünüz gibi, $p \Rightarrow q$ sütunu ile $p' \lor q$ sütunu tamamen aynıdır. Bu da $p \Rightarrow q$ önermesinin $p' \lor q$ önermesine mantıksal olarak eşdeğer olduğunu gösterir.
Sonuç:
Buna göre, $p \Rightarrow q$ önermesinin "veya" bağlacı cinsinden eşdeğeri $p' \lor q$'dır.
Cevap B seçeneğidir.
