-Dünya gezegendir ve şekli elipstir. (p ∧ q) -Uzay sonsuzdur veya dünyanın uydusu aydır.(p ∨ q) -Ay, ışık kaynağı değildir. (p)' -Kuşlar kanatlıdır ve iki ayaklıdır. (q ∧ r) -Hava bulutludur veya hava yağmurludur. (p ∨ q) -Yağmur yağıyor ise hava bulutludur. (p => q) -Hava bulutlu değilse yağmur yağmaz. (q' => p') -Bilim faydalıdır. (p) Bilim faydalı değildir. (p)' Bilimin faydalı olmadığı doğru değildir. [(p)']' Doğru önerme=1 Yanlış önerme=0 şeklinde ifade edilir. - V(veya işareti) önermelerden birisinin değeri 1 olduğu takdirde sonuç 1 dir. -^(ve işareti) önermelerden ikisininde 1 olması ancak sonucu 1 yapar. -Ayrıca bir önermenin değilinin değili kendisine eşittir mesela (p')'=p gibi yukarıdaki önermeler yardımıyla doğruluk tablosu oluşturup bu önermelerin doğruluk değerini test edebilirsiniz örneğin :-Uzay sonsuzdur veya dünyanın uydusu aydır.(p ∨ q) önermesi dört doğruluk değeri alır p , q=p v q d , y =d=uzay sonsuzdur veya dünyanın uydusu ay değildir y , d =d=uzay sonsuz değildir veya dünyanın uydusu aydır d , d =d=uzay sonsuzdur veya dünyanın uydusu aydır y , y =y=uzay sonsuz değildir veya dünyanın uydusu ay değildir (V(veya işaretli) önermelerden birisinin değeri 1(d) olduğu takdirde sonuç 1(d) dir. bunun gibi (d veya y sembollerinin yerine 1 veya 0 da kullanılabilir.)bu şekilde diğer önermelerin doğruluk değerlerini bulabilirsiniz Alıntı
[(pvq)'=>(qvp')]'=1 bulabilirseniz sevınırım sırasıyla p=? q=?
[(pvq)'=>(qvp')]'=1 [(p)' ∧(q)'=>(qvp')]'=1(p yi 1;q yu 0 alırsak) (1 v 0)=>1 1=>1=1 bulunur. Son düzenleyen nötrino; 18 Mart 2014 11:30
