[대학교이상] 님들 이거 틀려야됨??

[익명(118.37)]

명제 S := [P=>Q]=>R

이때 P가 거짓이고 R이 참인상황임.

그래서 명제 S를 vacuous true라고 했는데

P=>Q가 vacuous true인거지

S는 참=>참 구조라 vacuous true가 아니라고 틀리게함 시발;;

이거 맞음??

- dc official App

[익명(223.39)]

난 니 생각이 맞는 거 같음

[익명(223.39)]

야 검색했는데 너랑 나랑 둘 다 틀렸음. 시시한 참 들어봤냐? 이게 영어로 trivial truth임. 일단 후건이 참이면 그냥 참임. R이 무조건 참이니, trivial truth

[수갤러 1(124.49)]

vacuous는 앞 항이 거짓이어야 하는데 S에서의 앞 항은 참이니까 너가 틀린거 아냐?

[익명(episode5899)]

S는 참=>참 구조라 vacuous true가 아님 <-- 맞는 설명인데? - dc App

[연쵸(solstice4649)]

P가 거짓이니까 P->Q가 참이겠지 그러면 S의 선건이 참이고 - dc App

[수갤러 2(210.107)]

너가 틀리고 채점한 사람이 맞는데

[수갤러 3(165.132)]

니 말이 맞으려면 R이 거짓이어도 명제 S가 참이어야지

[수갤러 3(165.132)]

vacuously true도 제대로 모르네

[ㅆㅅ(siiot)]

X => true 구조라서 trivially true임