[일반] 아까 논리문제 이렇게 하면 되나요??

[익명(1.229)]

자연수의 짝수홀수 논리로 접근했습니다.
n이 짝수면 홀수가 아니고
짝수가 아니면 홀수이도록 하는겁니다.

[익명(1.229)]

n'은 succ (n) 입니다

[기괴공학도(mecheng98)]

네 맞아요 - 훈다리 훈다리

[기괴공학도(mecheng98)]

임의의 논리식의 부정은 이런 식으로 구할 수 밖에 없나요? - 훈다리 훈다리

[기괴공학도(mecheng98)]

사실 NotEqual을 고민하는 중이었는데 이런 식으로 하면 되겠군요. 감사합니다. - 훈다리 훈다리

[기괴공학도(mecheng98)]

/ NotEq(0, x'). / NotEq(x', 0). NotEq(x, y) / NotEq(x', y'). - 훈다리 훈다리

[기괴공학도(mecheng98)]

그런데 임의의 Phi에 대하여 항상 Phi의 부정이 되는 Psi가 존재할까요? - 훈다리 훈다리

[익명(1.229)]

not(p)를 p'으로 표기할 때 p/p''. p''/p. 라 하면 짝수 홀수의 경우처럼 p'이 p의 부정이 되지 않을까요?

[익명(1.229)]

p가 참이 아니라고 항상 p'이 참인 건 아니네요...

[기괴공학도(mecheng98)]

그것보다도 p가 식일 때 p'는 식이 될 수 없습니다. subformula라는 개념이 없음. - 훈다리 훈다리

[익명(1.229)]

그러고 보니 짝수 홀수도 문제가 있을 수 있겠네요. succ(n)=n인 경우가 없음을 이 체계 내에서 보일 수 있을까요?

[기괴공학도(mecheng98)]

succ(n)이 n과 다르다는 건 인터프리터가 알 수 있습니다. - 훈다리 훈다리