2016–2017 Üç Ders Çıkmış Soruları

Aşağıdaki tümcelerden hangisi bir önermedir? A) Bana dedin ha! B) Keşke o film buradaki sinemada oynasa. C) 1 en küçük tek doğal sayıdır. D) Sakın terliyken soğuk su içme. aof. E) Yarın yağmur yağacak mı?

p: Da Vinci iyi bir ressamdır. Da Vinci iyi bir bilim adamıdır. Da Vinci insan anatomisini titizlikle incelemiştir. s: Da Vinci'nin çizimleri gerçekçidir. Yukarıdaki sembolleştirme anahtarına göre, "Da Vinci iyi bir ressam ve bilim adamıdır. O halde, Da Vinci'nin çizimlerinin gerçekçi olmasinın gerekli bir koşulu, insan anatomisini titizlikle incelemiş olmasıdır." çıkarımının sembolik karşılığı aşağıdakilerden hangisidir? "lar A) prq :s →r pag :.r →s C) paq: sar D) pvq : s →r E) pvq : svr

Bir ~A önermesinin çözümleyici çizelgesinde açık kalan dal olması durumunda aşağıdakilerden hangisi kesin olarak dogrudur? A) A önermesinin çizelgesinde de açık bir dal vardır. B) A önermesi totolojidir. ar.ne C) ~A önermesi totolojidir. D) ~A önermesinin çizelgesinde kapalı bir dal da vardır. E) A önermesinin yanlışlayıcı yorumu vardır.

Aşağıdaki önermelerden hangisi bir totolojidir? A) (p v q) →~p (bv d)~< d~ (a aof.sorular.rf (b v d) < (b ^ d) (0 D) ~p → (p ^ q) E) (p v q) → q

Aşağıdaki önermelerden | hangisi (p → p) önermesi ile eşdeğerdir? A) (-p v p) B) (~p v~p) C) (p v p) D) -(p → p) E) ~(~p → ~p)

A P ~9 ~P Yukarıdaki tamamlanmış çözümleyici çizelgeye göre, aşağıdakilerden hangisi kesinlikle yanlıştır? A) p: Y, q: D ise, A önermesi doğrudur. B) p: D, q: Y ise, A önermesi yanlıştır. C) A önermesi tutarlıdır D) ~A önermesi totoloji değildir. E) A önermesi totolojidir.

Aşağıdaki önermelerden hangisi olumsal olarak doğrudur? A) Ay Güneş'e en uzak gezegendir. B) Ay Dünya'nın tek uydusu ise, Ay Dünya'nın uydusudur. C) Güneş Dünya'nın etrafinda döner. et D) Ay Dunya'nın tek uydusudur. E) Hem Dünya Ay'ın hem de Ay Dünya'nın etrafinda döner.

p: Galileo bir fizikçidir. q: Galileo bir filozoftur. r: Bazı filozoflar fizikçidir. s: Bazı fizikçiler filozoftur. Yukarıdaki sembolleştirme anahtarına göre, "Galileo hem fizikçi hem de filozoftur. O halde, bazı filozoflar fizikçi ve bazı fizikçiler filozoftur." Çıkarımının sembolik karşılığı aşağıdakilerden hangisidir? A) paq ::sar B) pvq : svr C) pvq :s→r D) prq::ras E) prq ::r→s

Aşağıdakilerden hangisi VxJy(~FA → (Hx + Hy)) önermesinin denetlenebileceği bir modeldir? A) SM = {a,b), FM = {(a), GM = {b), AM = a B) SM = {a,b}, FM = {a), GM = (b,c), AM = c C) SM = {a,b), FM = {a), GM = {b}, AM= c D) SM = {a,b}, FM = {a), GM = {b,c}, AM = a E) SM = {a,b}, FM = {a}, GM = {b}, AM = {a,b}

Vy 3x (Gy ^ Hz) ön-nicelemeli| normal biçimdeki formülünün matrisi aşağıdakilerden hangisidir? A) Vy 3x (Gy ^ Hz) B) (Gy ^ Hz) C) Ix (Gy ^ Hz) D) Gy E) Hz

Aşağıdaki önermelerden hangisi SM = {a,b), FM = {a,b}), AM = b modelinde doğrudur? A) Vx Fx → FA B) Vx Fx →~FA C) Vx Fx ^ ~FA D) Vx (Fx ^ ~FA) E) Vx~Fx^ FA

Aşağıdakilerden hangisi "Her cisim yer kaplar." önermesi ile aynı yargıyı dile getirir? A) Her yer kaplayan cisimdir. B) Çoğu cisim yer kaplar. C) En az bir cisim yer kaplar. rular.n D) Bazı cisimler yer kaplar. E) Tüm cisimler yer kaplar.

Aşağıdakilerden hangisi "Bazı F G'dir." önermesinin değilidir? A) Bazı F G değildir. B) Her F G'dir. C) Hiçbir F G değildir. f. D) En az bir G F değildir. E) En az bir F G değildir.

Bir modelin evreni ya da taşıyıcı kümesi aşağıdakilerden hangisidir? A) Boş küme B) Onerme eklemleri kümesi lar.net C) Niceleyiciler kümesi D) Modelin üzerine kurulduğu küme E) Önerme değişkenler kümesi

SM = {a, b}, FM = (a}, GM = {a,b), AM = a modeli verilmiş olsun, }x (Fx v (GA → VyFy)) önermesinin bu modelde doğruluk değerini denetlemek için oluşturulacak çözümleyici çizelgenin 1 numaralı kök noktasına yazılması gereken ifade aşağıdakilerden hangisidir? A) (Fb v (GA → VyFy)) B) Jx (Fx v (GA → vyFy) C) (Fx v (Ga → VyFy)) ° D) (Fa v (GA → VyFy)) E) Ix (Fx v (Ga → vyFy))

1. A K. Fa k. Fb K+1. Ga k+1.~ Fa k+2. Gb k+1. ~Ga k+3. ~Fb Verilen tamamlanmış çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur? A) A önermesinin yanlışlayıcı yorumlaması yoktur. B) A önermesi S = {a,b}, F = {a,b}, G = {a,b} modelinde doğrudur. C) A önermesi S = {a,b}, F = {b}, G = {a} modelinde doğrudur. D) A önermesinin doğrulayıcı yorumlaması yoktur. E) A önermesi S = {a,b}, F = {a}, G = {a,b} modelinde dogrudur.

"Hiçbir F G değildir." önerme biçiminin sembolik Karşılığı olan önerme aşağıdakilerden hangisidir? A) ~ Vx (Fx → Gx) B) Vx (Fx → ~Gx) C) ~Vx (Fx→~Gx) D) Vx (~Fx → ~Gx) E) Vx~ (Fx→~Gx)

1. A k. Fa k+1. ~Ga k+2. Gb k+3.~Fb Verilen tamamlanmis çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur? A) A önermesi S = {a,b}, F = {b}, G = { } modelinde doğrudur. B) A önermesinin yanlışlayıcı yorumlaması yoktur. C) A önermesi S = {a,b}, F = {a), G = {b} modelinde doğrudur. D) A önermesinin doğrulayıcı yorumlaması yoktur. E) A önermesi S = {a,b}, F = {a,b}, G = {a,b} modelinde dogrudur.

Aşağıdakilerden hangisi kategorik önermelerden biri değildir? A) Hiçbir at omurgasız degildir. B) Her insan akıllıdır. a C) Çoğu canlı omurgalıdır. D) Bazı fizikçiler felsefecidir. E) Bazı canlılar omurgalı değildir.

"Her F G'dir." önerme biçiminin sembolik karşılığı aşağıdakilerden hangisidir? A) Vx (Fx ^ Gx) B) Vx Fx ^ Vx Gx C) Vx (Fx v Gx) D) Vx (Fx → Gx) E) vx Fx → vx Gx