Sembolik Mantık Deneme Sınavı Sorusu #444780
F:a bir hayvandır.
G:a bir insandır.
H:a bir etoburdur.
K:a bir otoburdur.
"Bütün hayvanlar ya etoburdur ya da otoburdur. Bütün insanlar hem etobur hem de otoburdur. Fakat hiçbir insan hayvan değildir." ifadesinin yukarıdaki çeviriye göre anahtarı aşağıdakilerden hangisidir?
|
Ɐx((Fx⇿(Hx˅Kx))˄(Gx→(Hx˄Kx))˅(Gx˄~Fx)) |
|
|
|
Ɐx((Fx→(Hx˅Kx))˅(Gx→(Hx˄Kx))˅(Gx˄~Fx)) |
|
Ɐx((Fx→(Hx˅Kx))˄(Gx→(Hx˄Kx))˄(Gx˄~Fx)) |
|
|
"Bütün hayvanlar ya etoburdur ya da otoburdur" kısmını Ɐx((Fx→(Hx˅Kx)) önermesi ile ifade ederiz. Burada Ɐx simgesi önermenin ortak simgesidir. "Bütün insanlar hem etobur hem de otoburdur" kısmını ˄ simgesi kullanarak (Gx→(Hx˄Kx)) ile belirtebiliriz. "Fakat hiçbir insan hayvan değildir" ifadesi "fakat" kelimesini içerdiğinden ˄ simgesi ile birlikte (Gx˄~Fx) önermesi ile gösterilir.
Yorumlar
- 0 Yorum