[일반] 논리와 논리 사이의 연결이 참이란건 어떻게 암?

[익명(anxious1657)]

어떤 명제를 증명할 때 대표적으로 P이면 P이다가 참인지 어찌 암? 딱봐도 겁나 자명하긴한데 수학에서는 이런 자명한 논리전개방식들을 암묵적으로 참이라고 받아들이고 논리를 전개하는거임? 그럼 철학에서는?

[수갤러 1(1.239)]

그야 or, and, if then 같은 모든 논리연산에 대해서 어쩔 때 거짓이고 어쩔 때 참이다를 전부 정의해놨으니까 if P then Q는 P가 거짓이거나 Q가 참이면 참이라고 정의해놨는데 if P then P라고 하면 P가 거짓이든 참이든 항상 참이고

[익명(anxious1657)]

왜 공리가 아니라 정의임?

[수갤러 2(61.105)]

그건 철학임 수학에선 정의로 받아들이면됨

[익명(anxious1657)]

왜 공리가 아니라 정의임