Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
679 kez görüntülendi

İ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.

Lisans Matematik kategorisinde (52 puan) tarafından 
tarafından düzenlendi | 679 kez görüntülendi
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 :)
20,200 soru
21,728 cevap
73,275 yorum
1,887,894 kullanıcı