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

Doğruluk tablosunun tam bir satırı ¬(q ∧ p) 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 tablosunu tamamlayın (1 = doğru, 0 = yanlış). ¬(q → ¬(¬p → q)) kaç satırda (N) doğrudur?

Hangi formül a ↔ b formülüne mantıksal olarak denktir? Üzerine tıklayın.

1. 1(a → b) ∨ (b → a)
2. 2a ∧ b
3. 3(a → b) ∧ (¬b → ¬a)
4. 4(a → b) ∧ (b → a)

Hangi formül b ∧ (c ∨ a) formülüne mantıksal olarak denktir? Üzerine tıklayın.

1. 1b ∨ (c ∧ a)
2. 2(b ∧ c) ∨ a
3. 3(b ∧ c) ∨ (b ∧ a)
4. 4(b ∨ c) ∧ (b ∨ a)

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

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0

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

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