Denklik araştırması doğruluk değer tablosu ile nasıl gösterilir?
Ziyaretçi
Önermelerin denkliği, doğruluk değeri tablosunda önermelerin denkliği nasıl gösterilir, denk önermelerin doğruluk değeri tablosu nasıldır?
Matematik, mantık konusunda, aşağıdaki önermenin denklik araştırması doğruluk değeri tablosu ile nasıl yapılır?
(Aşağıdaki önermenin denkliği doğruluk değeri tablosu kullanılarak nasıl ıspatlanır?)
pV(q^r)≡(p^q)V(p^r)
Matematik, mantık konusunda, aşağıdaki önermenin denklik araştırması doğruluk değeri tablosu ile nasıl yapılır?
(Aşağıdaki önermenin denkliği doğruluk değeri tablosu kullanılarak nasıl ıspatlanır?)
pV(q^r)≡(p^q)V(p^r)
Sponsorlu Bağlantılar
Yanlış önerme=0 şeklinde ifade edilir.
P=Dünya'nın uydusu Ay'dır
q=Ay tek ışık kaynağıdır
r=Dünyamızı aydınlatan Ay'dır, şeklinde üç önerme oluşturulduğu varsayılırsa ve yukarıda oluşturulan önermeler pV(q^r)=(p^q)V(p^r) ifadesinde yerine yazılırsa;
pV(q^r)=(p^q)V(p^r) =dVd = dvd= d=d eşitliği elde edilir ve önermenin denk olduğu ıspatlanmış olur.
Aynı zamanda P V (q^r) önermesinin açılımı (pV q)^(p Vr) şeklindedir. (p^q)V(p^r) açılımı da P ^ (qVr) önermesini ifade eder. Aynı değerler bu açılımda yerine yazıldığında, karşısındaki önermeye denk olduğu görülür
(pV q)^(p Vr) = (p^q)V(p^r)
(dvd)^(dvd)= (d^ d)v(d^d)=d^d = dvd=d=d
Doğru önermeye 1 değeri verilirse bu ifadeden 1=1 denkliğine ulaşılır. Ayrıca pvq gibi bir önerme için 4 doğruluk değeri vardır. Yukarıda sadece 3 önermenin de doğru olduğunu kabul ederek o şekilde örnek verdim!
Bir önerme için 4 doğruluk değeri şu şekildedir,
p , q=p v q
D , Y=D
Y , D=D
D , D=D
Y , Y=Y
p , q=p ^ q
D , Y=Y
Y , D=Y
D , D=D
Y , Y=Y
V(veya işareti) eklemli önermelerden birisinin değeri D olduğu takdirde sonuç D'dir.
^(ve işareti) eklemli önermelerden ikisinin de D olması ancak sonucu D yapar.
Son düzenleyen nötrino; 4 Ağustos 2015 19:25
Sebep: İç başlık ve soru düzeni!!
