Cevaplı Önermeler mantığı ve ispatlar çalışma kâğıdı

Doğruluk tablosunun tam bir satırı ¬(q ∧ (p ↔ ¬q)) formülünü yanlış yapar. O satıra tıklayın.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Doğruluk tablosunun tam bir satırı p ∨ q formülünü yanlış yapar. O satıra tıklayın.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Hangi formül q ∧ (p ∨ r) formülüne mantıksal olarak denktir? Üzerine tıklayın.

1. 1(q ∧ p) ∨ r
2. 2(q ∨ p) ∧ (q ∨ r)
3. 3(q ∧ p) ∨ (q ∧ r)
4. 4q ∨ (p ∧ r)

Hangi formül ¬(p ∨ r) formülüne mantıksal olarak denktir? Üzerine tıklayın.

1. 1¬p ∧ ¬r
2. 2p ∨ ¬r
3. 3¬p ∨ ¬r
4. 4¬p ∧ r

Değili tamamen içeri taşınmış hâliyle hangi önerme ¬∃x ∀y R(x, y) önermesine denktir? Üzerine tıklayın.

1. 1∀x ∃y ¬R(x, y)
2. 2∀x ∀y ¬R(x, y)
3. 3∃x ∀y ¬R(x, y)
4. 4∃x ∃y ¬R(x, y)

Öncülleri b → a; ¬b ve sonucu ¬a olan argüman geçersizdir. Doğruluk tablosunda karşı örnek olan satıra tıklayın.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0