반응형 논리2 논리적 추론에 들어가기 앞서 논리적 추론 용어 공리(Axiom) 공리는 증명없이 참으로 받아드리는 명제를 의미한다. 페아노 공리계의 1은 자연수이다. 유클리드 기하학에서 '두 점이 주어졌을 때, 두 점을 지나는 직선이 있다.' 라고 하는 명제들은 증명할 수 없기에 공리라고 부리고 있다. 정의(Definition) 정의와 공리는 비슷해보이지만 다른 것이다. 대체로 정의는 용어에 대한 약속을 정의로 묶는 경우가 많다. 예를 들면 세 변으로 만들어진 도형을 삼각형이라고 하거나, 삼각형 중 한 내각의 크기가 90도인 삼각형을 직각삼각형이라고 부른다. 언제나 참인 것이 특징이다. 정리(Theorem) 증명을 통해 참인 것으로 밝혀진 것을 의미한다. 증명이 있지 않다면 이는 추측(Conjecture)라고 부르고 있다. 대표적인 정리는 우리가 .. 2023. 9. 7. 이진 연산자(Binary operator)에 대해서 연산자에 대해서 공부하다보니 이진 연산자란 새로운 단어를 알게되었다. 사실 이름을 몰랐다뿐이지 우리가 지금까지 사용하고 있던 연산자들이다. 이진 연산자란 두 피연산자를 연산하는 연산자를 뜻한다. 그리고 피연산자를 조작해서 특정 결과를 반환한다. 예시) 1 =) Less than or equal to ( = 2023. 1. 27. 이전 1 다음
