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

무료 인쇄용 명제논리와 증명 학습지: 쉬운 문제부터 시험 수준까지 6문제, 정답표 포함. 인쇄하거나 PDF로 저장하세요.

교수자 안내: 수업에서 무료로 인쇄, 복사, 사용할 수 있습니다. 새 워크시트마다 값이 새로 바뀌고 별도의 정답이 함께 제공됩니다. 강의 페이지에 ExamProblems 링크를 걸어 주시면 감사하겠습니다.

이름: ____________________   날짜: ____________

1.쉬움

(p ∧ ¬q) → ((q ∧ p) ∨ ¬r)의 완전한 진리표에는 행이 몇 개(N) 있는가?

(p ∧ ¬q) → ((q ∧ p) ∨ ¬r)
N =
2.쉬움
ab(a ∨ b) ∧ (¬a → b)11100100

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

(a ∨ b) ∧ (¬a → b)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.보통
¬r ∧ ¬p¬r → ¬pr → p¬p → ¬r

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

p → r
  1. 1¬r ∧ ¬p
  2. 2¬r → ¬p
  3. 3r → p
  4. 4¬p → ¬r
4.보통
¬r ∧ ¬p¬r ∧ p¬r ∨ ¬p¬r ∨ p

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

¬(r ∧ p)
  1. 1¬r ∧ ¬p
  2. 2¬r ∧ p
  3. 3¬r ∨ ¬p
  4. 4¬r ∨ p
5.어려움
pqq → ppq11100100

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

q → pp∴ q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
6.어려움
aba ∨ ba¬b11100100

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

a ∨ ba∴ ¬b
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0

정답표

  1. 1. N = 8
  2. 2. a = 0, b = 0
  3. 3. ¬r → ¬p
  4. 4. ¬r ∨ ¬p
  5. 5. p = 1, q = 0
  6. 6. a = 1, b = 1

자세한 단계별 풀이: examproblems.com에서 이 주제를 연습하세요.