p ise q neden p'vq olarak tanımlanıyor?

Question

İyi akşamlar

İşlemsel mantıkta "ise" bağlacı tanımlarken p ise q yu p'vq olarak tanımladıydık.
bu konuyu detaylı anlatan bir kaynak (kitap yada bilimsel makale) önerebilir misiniz?
Şimdiden teşekkür ederim.

Comments

Doğruluk tablolarını karşılaştırdınız mı?

---

Tanımı öyle ise nasıl karşılaştıracak ki, tanım sonuçta?

---

O zaman bunlar neden "denk" denilseydi daha güzel olurdu mu  demek istiyorsun Sercan Hocam?

---

Neden tanımlanıyor diye sorulmuş. Yasin de doğruluk tablosu karşılaştırması demiş. Kitabın ya da eğiticinin tanımı verilmiş, o tanımın yapılmasının sebepleri soruluyor gibi. Soru neden denkler değil.

p ise q ile direkt/genel anlaşılan:
p olduğunda q olsun. (p olmazsa q olsa da olur olmasa da olur.) 

Tabii kurtlar vadisi için bunun tanımı:
"Bak ciğerim, p olacaksa q da olacak. Ya p olmayacak ya da q seve seve olacak."

---

yagmur yagarsa yollar islanir ama  ali abi kapinin onune su dokerse de islanir gibi bir durum mu

---

Kusura bakmayın; tartışma ilerlemiş, yeni gördüm. Açıkçası ben de "neden denk" şeklinde algıladım. Niçin böyle algıladım? Bilmiyorum.

---

eloi, seninkini p ise q ve r ise q gibi. Demek ki q birden fazla sebeple oluşabilir. Bunu anladım. ?

---

evet onu kastetmistim ama alakasiz olmus galiba biraz tartismayla :)