내일은 목요일이고 목요일이 아니다. 따라서 서울은 한국의 수도이다. 그냥 직관적으로 생각해보면 타당한 논증이 아닌것같은데, 전제에 거짓일 수 밖에 없는 명제가 들어있는 논증은 모두 타당하다고 배워서요..
전제와 결론을 조건문 형태로 엮은 문장이 모든 해석에서 참이기 때문에 타당하다고 합니다. '만약 [전제]이면 [결론]이다.' 전제가 참일 경우만을 조건으로 뒀기 때문에 전제가 거짓이고 결론이 참인 상황은 그냥 참으로 받아들이는거에요.
반대로 결론이 참일 수 밖에 없는 논증도 항상 타당해요. '모든 사람은 죽는다. 따라서 내일은 목요일이거나 목요일 이 아니다.'. 그래서 타당한 논증과 증명은 다른 개념으로 봐야해요
감사합니다! 이해됐어요!