논리학 관련 질문이 있습니다..

[익명(223.62)]

Q->(R->S)

Q->(T->U)

U->(R v T) // Q->(U->C)

이걸 약식 진리표로 했을 때 결론을 F로 두고 풀면 다 들어맞고 마지막에 S가 T(사실) 인지 F(거짓)인지 알 수 없는데 이 경우 결론이 부당하다고 하나요 아니면 결론이 타당한지 부당한지 알 수 없다고 보나요?

[ㅁㄴㅇㄹ(122.38)]

2경우의 결과를 봐야 합니다 하나라도, 논증이 타당하면 니올수 없는 결과라면 부당한겁니다 그게아니라면 타당한거죠

[ㅁㄴㅇㄹ(122.38)]

필요없는 전제의 여부는 타당성에 영향을 주지 않습니다

[익명(223.62)]

그러면 위 같은 경우 전제가 모두 참이고 결론이 거짓인 경우가 있으므로 저 식은 부당하다 라고 볼 수 있는 거군요!

[ㅁㄴㅇㄹ(122.38)]

맞아요 논증에 상응하는 조간문이 필연적 참일때만 논중이 타당한것이라는 점을 상기해보세요

[익명(223.62)]

답변 감사합니다!