도저히 모르겠는데 누가 이거 좀 기호화해줄 수 있냐

[익명(180.134)]

신이 악을 없애려 하면서도 그렇게 할 수 없다면 그는 무기력한 신이다

그가 악을 없앨 수 있으면서도 그렇게 하지 않는다면 그는 심술궃은 신이다

신이 악을 없애려 하지 않거나 없앨 수 없을 때에만 악은 존재할 수 있다

악이 존재한다

신이 존재한다면 그는 무기력하지도 않고 심술궃지도 않을 것이다

그러므로 신은 존재하지 않는다

이거 기호화 도대체 어떻게 해야되는건지 도움좀

[익명(180.134)]

어빙코피 논리학입문 제9장 연습문제임 기호화하라는데 도저히 못하겠음

[oo(61.35)]

알파벳은 알아서 맞춰

[oo(61.35)]

(신이 악을 없애려 하면서도 그렇게 할수 없다)->(그는 무력한 신이다)

[oo(61.35)]

(_가 _를 없애려 한다 & -(_가_를 없앤다))->(_는 무력한 신이다)

[oo(61.35)]

((Gbc)&-(Hbc))->(Fab) a:신 b:그 c:악

[익명(180.134)]

신이랑 그랑 다른거임? 굳이 안나눠도되지않나?

[oo(61.35)]

그렇게 생각해도 되고 아..(a=b) 깜빡했다

[oo(61.35)]

근데 이거 가능여부나오니까 제대로 번역하려면 양상논리 필요하겠는데...

[익명(180.134)]

근데 이거 양상논리파트가 아니고 걍 단순명제 기호화하는 파트라서 더 이상함

[익명(180.134)]

이것만 대답해줄수있냐 (없애려한다), (할 수 없다), (없앨 수 있다), (그렇게 하지 않는다) 이거 네 개 전부 다르게 기호화해야되냐

[익명(180.134)]

그렇게하면 기호 갯수 6개넘는데 흠

[oo(61.35)]

할수 없다랑 없앨수 있다 는 같은 기호인데 하나는 부정 들어가지

[익명(180.134)]

흠 알겠음 ㄱㅅㄱㅅ

[oo(61.35)]

없애려 한다랑 그렇게 한다 도 마찬가지

[oo(61.35)]

아니 그렇게 하지 않는다

[익명(180.134)]

아 그러네 진심 빡대가리였다 진짜 고맙다

[클로이.(ky6015kr7)]

와 이책 오랜만이네 - dc App