논증의 타당성/부당성 검증 Verification/Falsification ∧ ∨ → ↔ =
[연습] 다음 논증의 타당성을 검사하고, 부당성의 경우 부당기호⊬로 고치시오 [연습] 다음 논증의 타당성을 검사하고, 부당성의 경우 부당기호⊬로 고치시오.(주의: 한 부분 식의 값이 비결정적인 경우, 내부의 부분 식의 값이 결정될 수 있는지 유심히 관찰 바람) ① 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)
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
(8) D→B, ꍃD→B∨E, E→A ⊢ A→B∨E
(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
(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
(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