부정(否定)

(부정 연산자에서 넘어옴)
  다른 뜻에 대해서는 부정(不正) 문서를 참조하십시오.
  다른 뜻에 대해서는 부정(否定) 문서를 참조하십시오.
  다른 뜻에 대해서는 부정(不淨) 문서를 참조하십시오.
  다른 뜻에 대해서는 부정(不定) 문서를 참조하십시오.
  다른 뜻에 대해서는 부정(父情) 문서를 참조하십시오.

1 개요[ | ]

negation, logical complement, not, not operation, invert, inversion
부정, 부정연산자
  • 명제의 참과 거짓를 반전시키는 논리 연산
  • 진리값을 반대로 바꾸는 연산자
  • 기호(명제 P에 대한 부정): [math]\displaystyle{ \neg P }[/math], [math]\displaystyle{ \tilde{} P }[/math], [math]\displaystyle{ P'\! }[/math], [math]\displaystyle{ \bar{P} }[/math], [math]\displaystyle{ !P\! }[/math][1]
  • P가 아님, P의 부정
진리표
P ¬P
거짓
거짓

2 예시[ | ]

  • p: 3은 6의 배수이다. (거짓)
~p: 3은 6의 배수가 아니다. (참)

3 같이 보기[ | ]

4 참고[ | ]

  1. not P
문서 댓글 ({{ doc_comments.length }})
{{ comment.name }} {{ comment.created | snstime }}