본문 바로가기
CS/이산수학

명제와 연산자

by 박 현 황 2021. 7. 12.

명제❔

진실 혹은 거짓
T/F 로 진리를 구분할 수 있는 문장으로 항상 참과 거짓 둘 중 하나의 값만 가진다.
여러개의 명제를 조합 할 수도 있다.

예시

11은 소수이다

명제!

넷플릭스는 재미있다.

명제가 아니다.
이거는 사람마다 의견이 다를 수 있기 때문.

연산자

연산자는 명제를 연산하기 위한 도구이다.
기본 연산자로는 6가지가 있다.

  • Not

    ㄱ P

    P 가 거짓이면? 참 , 참이면? 거짓

  • And

    (p^q)

and 연산자와 똑같음 . 둘 다 참일 경우만 참

  • Or

    논리합
    p OR q

  • Exclusice Or

    배타적 논리합
    p XOR q

단 한개만 참일 때 결과가 참이다.

  • Implication

    함축(조건 명제)
    p -> q

    p q p->q
    T T T
    T F F
    F T T
    F F T

참 값이고 거짓 값일 때만 거짓 반환

비가 올때 -> 우산을 쓴다
조건과 결과에 따른 흐름일 때 사용

  • Biconditional

    p <-> q

두 값이 서로 일치 할때 true 반환


참고한 유튜브 강의

'CS > 이산수학' 카테고리의 다른 글

역/이/대우  (0) 2021.07.20