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

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

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

(p → r) ↔ (r → p)은(는) 항진명제, 모순, 우연명제 중 무엇인가? 답을 클릭하세요.

1. 1항진명제
2. 2모순
3. 3우연명제

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

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

부정을 가장 안쪽까지 옮긴 ¬∀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))

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

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