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

진리표에서 q ∧ p이(가) 참이 되는 행은 정확히 하나입니다. 그 행을 클릭하세요.

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

¬(¬((¬a ∧ c) ∨ b) ∨ ((¬a ∨ b) → c))의 완전한 진리표를 작성한다. b = 1이고 c = 0인 행은 몇 개(N)인가?

¬(q ∧ p)와(과) 논리적으로 동치인 식은 어느 것인가? 클릭하세요.

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

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

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

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

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

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

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