p → q ile hangi ifade eşdeğerdir?
Mantıkta, ifadelerin eşdeğerliğini bulmak temel bir beceridir. Şimdi $p \rightarrow q$ ifadesinin hangi seçenekteki ifadeye eşdeğer olduğunu adım adım inceleyelim.
Koşullu önerme, "$p$ ise $q$" şeklinde okunur. Bu önerme, $p$ doğru ve $q$ yanlış olduğunda yanlış olur. Diğer tüm durumlarda (yani $p$ yanlış olduğunda veya $p$ doğru ve $q$ doğru olduğunda) doğrudur. Bir örnekle açıklayalım: "Yağmur yağarsa yerler ıslanır." Eğer yağmur yağar ($p$ doğru) ve yerler ıslanmaz ($q$ yanlış) ise bu ifade yanlıştır. Diğer tüm durumlar (yağmur yağmaz, yerler ıslanır/ıslanmaz; yağmur yağar, yerler ıslanır) için ifade doğrudur.
İfadelerin eşdeğerliğini anlamanın en güvenilir yollarından biri doğruluk tabloları oluşturmaktır. Önce $p \rightarrow q$ için doğruluk tablosunu oluşturalım:
| $p$ | $q$ | $p \rightarrow q$ |
|---|---|---|
| D | D | D |
| D | Y | Y |
| Y | D | D |
| Y | Y | D |
Bu tablo, $p \rightarrow q$ ifadesinin doğruluk değerlerini göstermektedir: D, Y, D, D.
Şimdi seçeneklerdeki ifadeler için doğruluk tablolarını oluşturalım ve $p \rightarrow q$ ile aynı doğruluk değerlerine sahip olanı bulalım:
Bu ifade "$p$ değil veya $q$" anlamına gelir. Doğruluk tablosunu oluşturalım:
| $p$ | $q$ | $\neg p$ | $\neg p \lor q$ |
|---|---|---|---|
| D | D | Y | D |
| D | Y | Y | Y |
| Y | D | D | D |
| Y | Y | D | D |
Gördüğümüz gibi, $\neg p \lor q$ ifadesinin doğruluk değerleri (D, Y, D, D), $p \rightarrow q$ ifadesinin doğruluk değerleri ile aynıdır. Bu, bu iki ifadenin eşdeğer olduğu anlamına gelir.
Bu ifade "$p$ ve $q$" anlamına gelir. Sadece $p$ ve $q$ ikisi de doğru olduğunda doğrudur. Örneğin, $p$ yanlış ve $q$ doğru iken $p \land q$ yanlıştır, ancak $p \rightarrow q$ doğrudur. Bu nedenle $p \rightarrow q$ ile eşdeğer değildir.
Bu ifade "$p$ değil ve $q$" anlamına gelir. Sadece $p$ yanlış ve $q$ doğru olduğunda doğrudur. Örneğin, $p$ doğru ve $q$ doğru iken $\neg p \land q$ yanlıştır, ancak $p \rightarrow q$ doğrudur. Bu nedenle $p \rightarrow q$ ile eşdeğer değildir.
Bu ifade "$p$ veya $q$ değil" anlamına gelir. Sadece $p$ yanlış ve $q$ doğru olduğunda yanlıştır. Örneğin, $p$ yanlış ve $q$ doğru iken $p \lor \neg q$ yanlıştır, ancak $p \rightarrow q$ doğrudur. Bu nedenle $p \rightarrow q$ ile eşdeğer değildir.
Mantıkta, koşullu önerme ($p \rightarrow q$) için bilinen bir eşdeğerlik kuralı vardır: Bir koşullu önerme, öncülün olumsuzu ile sonucun birleşimi (veya) ile her zaman eşdeğerdir. Yani, $p \rightarrow q \equiv \neg p \lor q$. Bu kuralı bilmek, bu tür soruları hızlıca çözmenizi sağlar.
Bu kuralın sezgisel olarak anlamı şudur: "$p$ ise $q$" ifadesinin yanlış olmasının tek yolu $p$'nin doğru ve $q$'nin yanlış olmasıdır. Eğer $p$ yanlışsa, ifade zaten doğrudur. Eğer $p$ doğruysa, $q$'nin de doğru olması gerekir ki ifade doğru olsun. Bu durum, $\neg p \lor q$ ifadesinin doğruluk koşullarıyla tamamen örtüşür.
Doğruluk tablolarını karşılaştırdığımızda ve mantıksal eşdeğerlik kuralını uyguladığımızda, $p \rightarrow q$ ifadesinin $\neg p \lor q$ ifadesiyle eşdeğer olduğunu açıkça görüyoruz.
Cevap A seçeneğidir.
