문제에서 r -> s 가 참이니까 R이 S의 부분집합이니
r -> ~s 는 거짓인거 아닌가요?
아니면 혹시 R이 공집합인경우에는 참이니까
참/거짓을 판단 못한다는 소리 인가요?
벤다이어 그램으로 그려봐도 거짓인거 같은데..
문제 푸니까 저거 때매 헷갈려요
r -> ~s 는 거짓인거 아닌가요?
아니면 혹시 R이 공집합인경우에는 참이니까
참/거짓을 판단 못한다는 소리 인가요?
벤다이어 그램으로 그려봐도 거짓인거 같은데..
문제 푸니까 저거 때매 헷갈려요
r->s가 참이면 (r,s)=(참,참),(거짓,참),(거짓,거짓)이 가능한데 첫 번째 경우에 r->~s는 거짓이고 나머지 경우엔 참이니 추론 안 되는게 맞음
구우욷이 진리집합 관점에서 보고 싶다면 본문에서 지적한 내용이 이유가 될 수 있지
(r,s)가 (참,참), (거짓,참), (거짓,거짓) 이게 뭘 의미하는 거에요? 죄송해요 ㅠ
2, 3 명제를 부정하면 싹 다 이어짐
~s -> p -> ~q -> ~r 여기서 조건에 필요한대로 가져와서 쓰삼