정답이 있는 명제논리와 증명 학습지

진리표를 완성하시오(1 = 참, 0 = 거짓). (¬b ∨ ¬a) ∧ b이(가) 참인 행은 몇 개(N)인가?

(p ∨ ¬r) ∨ (¬q ∨ ¬(q ↔ r))의 완전한 진리표를 작성한다. p = 1이고 r = 0인 행은 몇 개(N)인가?

q → (r ∨ p)을(를) 대우법으로 증명하려 한다. 대신 어떤 함의를 증명해야 하는가? 클릭하세요.

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

¬p → q을(를) 대우법으로 증명하려 한다. 대신 어떤 함의를 증명해야 하는가? 클릭하세요.

1. 1¬q → ¬¬p
2. 2q → ¬p
3. 3¬p ∧ ¬q
4. 4¬¬p → ¬q

전제 p → q; r → q과(와) 결론 p → r을(를) 가진 논증은 타당하지 않다. 반례가 되는 진리표의 행을 클릭하세요.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

전제 c → (b ∨ a); c과(와) 결론 b을(를) 가진 논증은 타당하지 않다. 반례가 되는 진리표의 행을 클릭하세요.

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