후건 긍정: p→q, q ⊨ p는 타당한가?
오류입니다. p → q와 q가 있어도 p는 열려 있습니다. q는 p와 무관한 이유로 성립할 수 있기 때문입니다. 아래 열린 가지가 반례 모델을 줍니다.
부당
p→q, q ⊨ p한 가지가 열린 채 남으므로, 전제가 참이어도 결론이 거짓일 수 있습니다.
증명 (의미론적 태블로)
- 1참: p→q전제
- 2참: q전제
- 3거짓: p결론의 부정
- 4거짓: p1번 줄에서
가지 열림.p = ⊥, q = ⊤
- 5참: q1번 줄에서
가지 열림.p = ⊥, q = ⊤
열린 가지
반례 모델
이 할당에서는 모든 전제가 참이지만 결론이 거짓이므로 결론이 따라 나오지 않습니다.
p = ⊥, q = ⊤