수학 보고서 양식.hwp

컴퓨터 시스템과 리버스 엔지니어링에서의 집합과 명제

명제

조건문은 “A”는 참이고 “B“는 거짓일 때 라는 명제로 표현될 수 있다

명제는 진리값을 다루므로 그에 대한 연산은 논리적인 성질을 띄고, 이러한 논리연산을 명제에 적용하면 그 결과 새로운 명제가 만들어진다.

논리연산의 결과를 표 형태로 쉽게 나타낸 것을 진리표라고 한다.

p∨¬pp∨¬p와 같이 항상 참인 명제를 항진명제라고 하고, p∧¬pp∧¬p 처럼 항상 거짓인 명제는 모순명제라고 한다.