논리학 기호화 문제 질문 가능할까요?

논리학
1

1 . 다음의 요약표를 활용하여 한국어문장을 형식문장으로 번역하시오 . ( 만약 한국어 문장이 애매하다면 , 최대한 가능한 번역을 제시하시오 .)
P : 존은 재즈를 좋아한다 . Q : 제리는 재즈를 좋아한다 . R : 헨리는 재즈를 좋아한다 .

( 1) 존이 재즈를 좋아하는 경우에만 , 제리는 헨리가 재즈를 좋아하지 않는다면 재즈를 좋아하지 않을 것이다 .
( 2) 존이 제리가 재즈를 좋아할 때에만 재즈를 좋아하는 경우에 , 헨리가 재즈를 좋아하는 것은 아니다 .
( 3) 제리가 재즈를 좋아하는 경우에만 존이 재즈를 좋아하는 것이 아니라고 가정하면 , 존이 재즈를 좋아하는 것이 아닐 때 헨리는 재즈를 좋아한다 .

저는 이 문제를,
(1) (~R->~Q) -> P
(2) (P->Q) -> ~R
(3) (~P->~Q) ->(~P->R)
이렇게 기호화 하였습니다. 특히 "x일때만 Y" = Y->X 라는 형식을 고수했습니다.

2 . 다음의 요약표를 활용하여 한국어문장을 형식문장으로 번역하시오 . ( 만약 한국어 문장이 애매하다면 , 최대한 가능한 번역을 제시하시오 .)

P : 존은 파티에 간다 . Q : 메리는 파티에 간다 . R : 제인은 파티에 간다 . S: 존은 파티에서 춤을 춘다 . T : 메리는 파티에서 춤을 춘다 . U ; 제인은 파티에서 춤을 춘다 .

( 1) 비록 존이 파티에 가지만 , 메리는 제인이 파티에 가지 않으면 , 그리고 오직 그 경우에만 파티에 가지 않는다 .
( 2) 존은 파티에 가지만 , 메리와 제인 둘 다 파티에 가지 않는다 .
(3) 메리와 제인 둘 다 파티에 가서 파티에서 춤을 추지만 , 존은 파티에 가지도 , 파티에서 춤을 추지도 않는다 .
( 4) 메리와 제인이 파티에서 춤을 추지만 존은 메리가 파티에서 춤을 추지 않는 경우에만 춤을 출 것이다 .

이 문제는 다음과 같은 답을 써보았습니다.

  1. <(P->~R)->~Q> & <~Q->(P->~R)>
    (2) P& (~Q&~R)
    (3) (Q&R) & (T&U) & (~P&~S)
    (4) (T&U) & (S->~T)

혹시 제가 쓴 부분에서 오답이 있나요? 나름 기호화를 잘 수행했다고 생각하지만 되게 많이 부족합니다. 의견 주시면 진심으로 감사드리겠습니다.

1개의 좋아요
2

1번의 (3)은 자연 언어 문장에 애매성이 있는 것 같습니다.
~(P->Q)->(~P->R) 또는 (~P->Q)->(~P->R)

2번의 (1)은 P & (~Q<->~R) 로 쓰시는 게 맞는 것 같습니다. 영어 문장에서 Although A, B는 논리적으로는 그냥 (A&B)입니다

지난 번 문제도 그렇고 공부하시는 텍스트를 보니 영어로 쓰인 책을 오래전에 번역한 책인 것 같은데, (답지가 없다는 걸 보면 copi 구판인 것 같기도하고...) 문제의 퀄이 그렇게 좋은 것 같진 않습니다. 가령 2번 문제의 (3) 같은 경우는 불필요하게 많은 술어들을 쓰게끔 해놨습니다. 파티에 가서 춤을 췄다면 파티에 갔다는 것은 논리적으로 함축이 되는데 P-S, Q-T, R-U를 저런 식으로 만들어둔 게 저는 약간 의아하게 보였습니다.

어쨌든 열심히 하시는 건 응원합니다!

3

늘 도움을 주셔서 진심으로 감사드립니다. 덕분에 논리학의 이해도가 점점 성장해가는 듯한 느낌을 받습니다. 정말 감사해요! (이후 정답이 있는 교재나 시중의 유명한 저서들을 공부할 예정입니다 ㅎㅎ!!)