명제❔
진실 혹은 거짓
T/F 로 진리를 구분할 수 있는 문장으로 항상 참과 거짓 둘 중 하나의 값만 가진다.
여러개의 명제를 조합 할 수도 있다.
예시
11은 소수이다
명제!
넷플릭스는 재미있다.
명제가 아니다.
이거는 사람마다 의견이 다를 수 있기 때문.
연산자
연산자는 명제를 연산하기 위한 도구이다.
기본 연산자로는 6가지가 있다.
Not
ㄱ P
P 가 거짓이면? 참 , 참이면? 거짓
And
(p^q)
and 연산자와 똑같음 . 둘 다 참일 경우만 참
- Or
논리합
p OR q - Exclusice Or
배타적 논리합
p XOR q
단 한개만 참일 때 결과가 참이다.
Implication
함축(조건 명제)
p -> qp q p->q T T T T F F F T T F F T
참 값이고 거짓 값일 때만 거짓 반환
비가 올때 -> 우산을 쓴다
조건과 결과에 따른 흐름일 때 사용
- Biconditional
p <-> q
두 값이 서로 일치 할때 true 반환