Download presentation
Presentation is loading. Please wait.
1
논증의 타당성/부당성 검증 Verification/Falsification
∧ ∨ → ↔ =
2
[연습] 다음 논증의 타당성을 검사하고, 부당성의 경우 부당기호⊬로 고치시오
[연습] 다음 논증의 타당성을 검사하고, 부당성의 경우 부당기호⊬로 고치시오.(주의: 한 부분 식의 값이 비결정적인 경우, 내부의 부분 식의 값이 결정될 수 있는지 유심히 관찰 바람) ① A∨B, A ⊢ B ② A→B, ꍃB→C ⊢ A→C ③ A↔(B∨C), ꍃB ⊢ ꍃA ④ A→B, (C→D)→ꍃA ⊢ B∨C ⑤ A→B∨C, B→D∧E, ꍃD ⊢ ꍃA ⑥ A→B∧ꍃC, ꍃA∨B↔D ⊢ D→ꍃA∨E ⑦ ꍃ(A↔B), A→C, B→D ⊢ ꍃC∨D ⑧ D→B, ꍃD→B∨E, E→A ⊢ A→B∨E ⑨ ꍃB→D, D→B∨ꍃE, ꍃE→A ⊢ B→A∨C ⑩ A→(ꍃB→ꍃC∧ꍃD), ꍃ(C↔D), ꍃB ⊢ ꍃA ⑪ A∧D→C, C∨E, E→B∧A, ꍃB∨F ⊢ A→D∨F ⑫ ꍃ(A↔B), A→C, B→D ⊢ ꍃC∨D ⑬ A∧ꍃB→C, A↔ꍃC ⊢ B∧C∨A ⑭ A∨ꍃB ⊢ A∧C ⑮ ꍃ(A→ꍃB∧C), ꍃC↔ꍃA ⊢ A∧B (16) (A→B)∧(ꍃB→A∧C)→(D∨E→ꍃB) ⊢ B→ꍃ(ꍃD→E) (17)** A∨B, ꍃ(C→A) ⊢ B↔(ꍃE→ꍃC∨D)
![[연습] 다음 논증의 타당성을 검사하고, 부당성의 경우 부당기호⊬로 고치시오](http://slidesplayer.org/slide/17390847/101/images/2/%5B%EC%97%B0%EC%8A%B5%5D+%EB%8B%A4%EC%9D%8C+%EB%85%BC%EC%A6%9D%EC%9D%98+%ED%83%80%EB%8B%B9%EC%84%B1%EC%9D%84+%EA%B2%80%EC%82%AC%ED%95%98%EA%B3%A0%2C+%EB%B6%80%EB%8B%B9%EC%84%B1%EC%9D%98+%EA%B2%BD%EC%9A%B0+%EB%B6%80%EB%8B%B9%EA%B8%B0%ED%98%B8%E2%8A%AC%EB%A1%9C+%EA%B3%A0%EC%B9%98%EC%8B%9C%EC%98%A4.jpg "[연습] 다음 논증의 타당성을 검사하고, 부당성의 경우 부당기호⊬로 고치시오.(주의: 한 부분 식의 값이 비결정적인 경우, 내부의 부분 식의 값이 결정될 수 있는지 유심히 관찰 바람) ① A∨B, A ⊢ B ② A→B, ꍃB→C ⊢ A→C. ③ A↔(B∨C), ꍃB ⊢ ꍃA ④ A→B, (C→D)→ꍃA ⊢ B∨C. ⑤ A→B∨C, B→D∧E, ꍃD ⊢ ꍃA ⑥ A→B∧ꍃC, ꍃA∨B↔D ⊢ D→ꍃA∨E ⑦ ꍃ(A↔B), A→C, B→D ⊢ ꍃC∨D. ⑧ D→B, ꍃD→B∨E, E→A ⊢ A→B∨E. ⑨ ꍃB→D, D→B∨ꍃE, ꍃE→A ⊢ B→A∨C. ⑩ A→(ꍃB→ꍃC∧ꍃD), ꍃ(C↔D), ꍃB ⊢ ꍃA. ⑪ A∧D→C, C∨E, E→B∧A, ꍃB∨F ⊢ A→D∨F. ⑫ ꍃ(A↔B), A→C, B→D ⊢ ꍃC∨D. ⑬ A∧ꍃB→C, A↔ꍃC ⊢ B∧C∨A. ⑭ A∨ꍃB ⊢ A∧C. ⑮ ꍃ(A→ꍃB∧C), ꍃC↔ꍃA ⊢ A∧B (16) (A→B)∧(ꍃB→A∧C)→(D∨E→ꍃB) ⊢ B→ꍃ(ꍃD→E) (17)** A∨B, ꍃ(C→A) ⊢ B↔(ꍃE→ꍃC∨D)")
3
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
4
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
5
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
6
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
7
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
8
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E D→B, ꍃD→B∨E, E→A, A ⊢ B∨E
? 1 1 1 1 1
9
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E D→B, ꍃD→B∨E, E→A, A ⊢ B∨E
? 1 1 1 1 1 1
10
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E D→B, ꍃD→B∨E, E→A, A ⊢ B∨E
? 1 1 1 1 1 1 1 1 1
Similar presentations
![낙안효자실버빌 사업계획(안) [2016년] 전남 순천시 낙안면 읍성로 320 TEL 061-754-5100.](/61/11280119/big_thumb.jpg "낙안효자실버빌 사업계획(안) [2016년] 전남 순천시 낙안면 읍성로 320 TEL 061-754-5100.>")
