거짓

2. 고전 논리 및 부울 논리에서의 거짓

부울 논리에서 각 변수는 참(1) 또는 거짓(0)의 진리값을 가진다. 고전 명제 논리에서 각 명제는 참 또는 거짓의 진리값을 할당받는다. 일부 고전 논리 시스템에는 거짓을 나타내는 전용 기호(0 또는 $\backslash bot$)가 있지만, 다른 시스템에서는 및 와 같은 수식을 사용한다.

부울 논리와 고전 논리 시스템 모두에서 참과 거짓은 부정과 관련하여 반대이다. 거짓의 부정은 참이고, 참의 부정은 거짓이다.

2. 1. 부정과의 관계

대부분의 논리 체계에서 부정, 조건문, 거짓은 다음과 같이 관련되어 있다.

:¬p ⇔ (p → ⊥)^영어

직관 논리 등 일부 체계에서는 이것이 부정을 정의하는 것이며,^[8] 부정이 기본적인 연결사로 사용되는 명제 계산에서 증명될 수 있다. p → p^영어는 일반적으로 정리 또는 공리이므로, 거짓의 부정(¬ ⊥^영어)은 참이라는 결론이 나온다.

모순은 참이라고 가정된 명제가 거짓을 함의함을 보일 때 발생하는 상황이다(즉, φ ⊢ ⊥^영어). 위의 등가성을 사용하여, φ가 모순이라는 사실은 ⊢ ¬φ^영어로부터 도출될 수 있다. 스스로 거짓을 함의하는 명제는 때때로 모순이라고 불린다. 라틴어 ''falsum''(거짓) 때문에 모순과 거짓은 때때로 구별되지 않지만, 거짓은 특정한 명제이다.

논리 체계는 모든 φ에 대해 폭발 원리(ex falso quodlibet^la, ⊥ ⊢ φ^영어)를 포함할 수도 있고 그렇지 않을 수도 있다. 폭발 원리에 의해 모순과 거짓은 서로를 함의하기 때문에 동등하다.

2. 2. 모순