만약 Q가 두번째로 말하지 않는다면, G는 네번째로 말하지 않는다.
이거를 도식으로 표현하면 어떻게 되나요?
답안에서는
Q2 -> G4라고 표현하는데
저는
~Q2 -> ~G4라고 생각했거든요. 혹시 오류가 있을까요?
논리게임바이블 내용 중 질문
익명(175.116)
2022-02-25 20:24
추천 0
댓글 4
다른 게시글
-
님들 이거 어떤이 아니라 모든이어야 하는거 어녜요?? [6]익명(58.234) | 22.02.23추천 0
-
컴팩트성 정리가 [4]익명(175.192) | 22.02.20추천 0
-
이거 논리연산자 아니지? [1]익명(219.250) | 22.02.19추천 0
-
확장된 양상 실재론 어떻게 생각함? [2]ㅅㅈ(223.62) | 22.02.19추천 1
-
기호 읽는법 모르겠어요익명(210.123) | 22.02.16추천 0
-
논리학 책 추천 좀요 [4]익명(125.178) | 22.02.13추천 0
-
논리학을 하는데 있어서 수학만큼의 상당한 재능이 필요한가요? [1]익명(219.251) | 22.02.11추천 0
-
이논증은 어떻게 설명가능한긴요?? [6]하이(106.101) | 22.02.11추천 0
-
어떤F는 G이다 [3]익명(125.178) | 22.02.10추천 0
-
수리논리학이랑 그냥 논리학이랑 다른건가요? [3]익명(119.204) | 22.02.09추천 0
Q2..? G4...? 술어 논리 체계임?
오히려 ~Q2 -> ~G4 가 더 세세한 표현임
문장문자가 꼭 단순명제만 나타낼 수 있는건 아니라 어떻게 하던 상관없음
'X가 N번째로 말하지 않는다' 자체를 XN으로 기호화한듯 - dc App