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

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

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

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

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

¬q → (p ∨ r)을(를) 귀류법으로 증명하려 한다. 처음에 어떤 문장을 가정해야 하는가? 클릭하세요.

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

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

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

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

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