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

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

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

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

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

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

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

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

부정을 가장 안쪽까지 옮긴 ¬∃x (F(x) → G(x))와(과) 동치인 문장은 어느 것인가? 클릭하세요.

1. 1∀x (¬F(x) → ¬G(x))
2. 2∀x (F(x) ∧ ¬G(x))
3. 3∀x (F(x) → ¬G(x))
4. 4∃x (F(x) ∧ ¬G(x))

전제 c → a; a → b이(가) 주어져 있다. 이로부터 따라 나오는 결론은 어느 것인가? 클릭하세요.

1. 1b → c
2. 2c → b
3. 3¬c → ¬b
4. 4c ∧ b