OGM Materyal

Soru 1:

(p ∧ q')' ⇒ p koşullu önermesinin karşıtı aşağıdakilerden hangisidir?

A) p ⇒ (p ⇒ q)

B) p ⇒ (p ∧ q')

C) p' ⇒ q

D) q' ∨ p

E) p' ∨ (q ⇒ p)

Soru 2:

p : “4 + 3 = 7", q : “4 · 3 ≥ 12" önermeleri veriliyor.

Buna göre p ⇒ q önermesinin karşıt tersi aşağıdakilerden hangisidir?

A) "4 + 3 ≠ 7 ise 4 · 3 < 12"

B) "4 + 3 ≠ 7 ise 4 · 3 ≥ 12"

C) "4 · 3 < 12 ise 4 + 3 = 7"

D) "4 · 3 < 12 ise 4 + 3 ≠ 7"

E) "4 · 3 ≥ 12 ise 4 + 3 ≠ 7"

Soru 3:

Soru 4:

Soru 5:

p:“∀n ∈ Z, n² < 10”

q:“∃n ∈ Z, n + 5 < 10”

s: “∃n ∈ Z, –4 < n < 24” önermeleri veriliyor.

Buna göre p, q' ve s önermelerinin doğruluk değerleri sırası ile aşağıdakilerden hangisidir?

A) 1, 1, 1

B) 0, 0, 0

C) 1, 0, 0

D) 0, 0, 1

E) 0, 1, 1

Soru 6:

x bir gerçek sayı olmak üzere

p: “∃ x ∈ Z , x < 5”

q: “∀ x ∈ N , x + 3 = 7” önermeleri veriliyor.

Buna göre aşağıdaki ifadelerden hangisi yanlıştır?

A) p önermesinin doğruluk değeri 1 dir.

B) q önermesinin doğruluk değeri 0 dır.

C) p': “∀ x ∈ Z , x ≥ 5”

D) p ⇔ q önermesinin doğruluk değeri 0 dır.

E) q': “∃ x ∈ N, x + 3 = 7”

Soru 7:

q : “∀x ∈ N, x² ≥ 0” önermesinin sözel olarak ifadesi aşağıdakilerden hangisidir?

A) “Her tam sayının karesi sıfırdan büyüktür.”

B) “Bazı tam sayıların karesi sıfırdan büyüktür.”

C) “Her doğal sayının karesi sıfırdan büyüktür veya sıfıra eşittir.”

D) “Bazı doğal sayıların karesi sıfırdan büyüktür.”

E) “Her tam sayının karesi sıfırdan büyüktür veya sıfıra eşittir.”

Soru 8:

“Doğruluğu ispatlanamayan ama doğru olduğu kabul edilen önermelere ..., doğruluğu ispatlanabilen önermelere ... denir.”

Yukarıda verilen tanımlarda boş bırakılan yerlere sırası ile hangi kelimeler gelmelidir?

A) aksiyom , teorem

B) teorem, aksiyom

C) aksiyom , ispat

D) teorem, ispat

E) teorem, tümevarım