Sembolik Mantık 2016 - 2017 Dönem Sonu Sınavı 20.Soru

20.Soru
Sembolik Mantık 2016 - 2017 Dönem Sonu Sınavı 20.Soru
transkript: 20. A. Descartes FZ a bir felsefesidir. G: 3 bir matematrkçıdır. H: 3 bir düş'hürdür. J* bır insandır. Yukarıdaki sembolleştirme anahtarına göre, "Descartes bir felsefeci ve bir matematikçidir. O halde, Descartes bir dü "nür degilse, hiçbir insan düşünür değıldir." çıkarımının niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir? > ) FA v GA —HA % ax (Jx A —Hx) ) FA A GA .- HA —> ax (Jx » —Hx) ) FA v GA HA »» vx (Jx "» —Hx) ) ) w O Ü FA v GA - —HA —> —VX (Jx A —Hx) FA A GA .- HA % Vx (Jx % —Hx) rrı
Yorumlar
  • 0 Yorum