Ö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) |
Alıntı:
Doğru önerme=1 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. |
4 önermenin de doğruluk değeri tablosu lazım, yardımcı olur musunuz? |
Alıntı:
*p^q(p ve q) *pvq(p veya q) *p=>q(p ise q) *p<=>q(p ancakveancak q)=> Bunların tablodaki doğruluk değerleri; p^q D^D=D D^Y=Y Y^D=Y Y^Y=Y pvq DVD=D DVY=D YVD=D YVY=Y p=>q D=>D=D D=>Y=Y Y=D=D Y=>Y=D p<=>q D<=>D=D D<=>Y=Y Y<=>D=Y Y<=>Y=D şeklinde ifade edilir. |
(pvq)vr önermesinin değerlik tablosu nasıl yapılır? |
p=>(q=>r) önermesinin değerlik tablosu nasıl yapılır? |
Alıntı:
DVD=D DVY=D YVD=D YVY=Y =>Bu tablo veya(v) ekleminin tablosudur Yukarıdaki önermede p,q ve r önermeleri 3 ayrı önermeden oluştuğu için 2 üzeri n(2n) kadar yorumlaması olur 3 önerme olduğu için 2n=8 yorumlama yapılabilir Buna göre tabloya sırasıyla p,q,r,(pvq),(pvq)vr önermelerinin doğruluk değerleri bulunup aktarılır ve (pvq)vr önermesinin tablodaki şekli aşağıdaki gibi oluşur; p q r (pvq) (pvq)vr D D D D D D D Y D D D Y D D D D Y Y D D Y D D D D Y D Y D D Y Y D Y D Y Y Y Y Y Alıntı:
p=>q D=>D=D D=>Y=Y Y=>D=D Y=>Y=D p q r (q=>r) p=>(q=>r) D D D D D D D Y Y Y D Y D D D D Y Y D D Y D D D D Y D Y Y D Y Y D D D Y Y Y D D |
(p^q)v(p^r)' şeklindeki bir önerme doğruluk tablosu ile nasıl çözümlenir? |
4 önermenin doğruluk değeri tablosu nasıl yapılır? |
Alıntı:
Alıntı:
|
Saat: 17:29 |
©2005 - 2024, MsXLabs - MaviKaranlık