False(논리)

논리학에서^[1] false 또는 false는 음의 true 값 또는 null의 논리 접속을 가진 상태입니다.명제논리의 진리함수체계에서 그것은 부정과 ^[2]함께 두 가지 가정된 진리값 중 하나이다.false의 통상은 0(특히 부울 논리 및 컴퓨터 사이언스에서는), O(프리픽스 표기, Opq) 및 업택 기호 $(\displaystyle \bot$ ^[3]^[4]입니다.

또 다른 접근방식은 몇 가지 형식 이론(예: 직관적 명제 미적분)에 사용되며, 여기서 명제 상수(즉, nullary connective $\bot$ 인 $\bot$ δ $\displaystyle \bot$ 가 도입된다.이 경우,^[5]^[6]^[7] 진리는 위의 의미에서는 항상 거짓이다.그것은 터무니없는 제안으로 취급될 수 있고 종종 부조리라고 불린다.

고전 논리 및 부울 논리

부울 로직에서 각 변수는 참(1) 또는 거짓(0)이 될 수 있는 참 값을 나타냅니다.

고전 명제 미적분학에서, 각 명제는 참 또는 거짓의 참 값을 할당할 것이다.일부 고전 로직 시스템은 거짓에 대한 전용 기호(0 또는 \ $displaystyle \bot)$ 를 포함하며, 다른 시스템은 대신 p $\land p$ p p 및 $($ ( $p \to$ p)와 같은 공식에 의존합니다.

부울 논리 시스템과 고전 논리 시스템 모두에서 참과 거짓은 부정과 반대입니다. 거짓의 부정은 참을 주고 참의 부정은 거짓을 줍니다.

$x$	${\displaystyle\neg x}$
진실의	거짓의
거짓의	진실의

false의 부정은 고전논리 및 부울논리뿐 아니라 아래에 설명된 대부분의 다른 논리시스템에서도 진실과 동등합니다.

거짓, 부정, 모순

대부분의 논리 시스템에서 부정, 중요한 조건부 및 거짓은 다음과 같이 관련된다.

' p' (p \to ')

사실, 이것은 직관적 논리처럼 일부 ^[8]시스템에서 부정의 정의이며 부정은 기본 연결인 명제 계산에서 증명될 수 있습니다.p → $p$ 는 보통 정리 또는 공리이기 $때문$ 에, 결과적으로 거짓(falseδ)의 결과가 된다.

모순이란 참이라고 생각되는 진술이 거짓(즉 $,$ ( false false false)을 수반하는 것으로 나타나는 상황을 말합니다.상기 등가성을 이용하여 예를 들어 is가 모순이라는 사실을 $⊢$ 에서 도출할 수 있다.거짓을 수반하는 진술은 때때로 모순이라고 불리며, 모순과 거짓은 구별되지 않는 경우가 있다.특히 영어에서 거짓이라는 용어가 어느 하나를 나타내기 위해 사용되기 때문이다.그러나 거짓은 하나의 특정한 명제이다.

논리 시스템에는 폭발의 원리(예를 들어 라틴어로는 falsoquodlibet), 모든 $quodlibet$ 에 대한 quodlibet이 포함될 수도 있고 포함하지 않을 수도 있습니다.그 원리에 따르면 모순과 거짓은 동등하다. 왜냐하면 각각은 다른 것을 수반하기 때문이다.

일관성.

$"\style \bot$ 접속사를 사용하는 공식 이론은 false가 그 정리에 포함되지 않는 경우에만 일관성이 있다고 정의됩니다.명제상수가 없는 경우, (위에서 설명한 것과 같은) 일부 치환기를 사용하여 일관성을 정의할 수 있습니다.

「」를 참조해 주세요.

모순
논리적 진실
반복(논리) (논리적인 진실의 상징성)
진실표

레퍼런스

^ 그것의 명사형은 거짓이다.
^ Jennifer Fisher, Thomson Wadsworth, 2007, 논리의 철학에 대하여 ISBN0-495-0088-5 , 페이지 17.
^ Willard Van Orman Quine, Methods of Logic, 제4판, 하버드 대학 출판부, 1982년, ISBN 0-674-57176-2, 34페이지.
^ "Truth-value logic". Encyclopedia Britannica. Retrieved 2020-08-15.
^ 조지 에드워드 휴즈와 D.E. 론디, 형식논리의 요소, Methuen, 1965, 페이지 151.
^ Leon Horsten과 Richard Pettigrew, 철학적 논리의 연속체, Continuum International Publishing Group, 2011, ISBN 1-4411-5423-X , 페이지 199.
^ Graham Priest, 비고전적 논리 입문: Cambridge University Press, 2008, 2nd Ed, If to Is, ISBN 0-521-85433-4 , 페이지 105.
^ Dov M. Gabbay and Franz Guentner (eds), 철학논리 핸드북, 제6권, 스프링거, 2002, ISBN 1-4020-0583-0, 페이지 12.

[1] 그것의 명사형은 거짓이다.

[2] Jennifer Fisher, Thomson Wadsworth, 2007, 논리의 철학에 대하여 ISBN0-495-0088-5 , 페이지 17.

[3] Willard Van Orman Quine, Methods of Logic, 제4판, 하버드 대학 출판부, 1982년, ISBN 0-674-57176-2, 34페이지.

[4] "Truth-value logic". Encyclopedia Britannica. Retrieved 2020-08-15.

[5] 조지 에드워드 휴즈와 D.E. 론디, 형식논리의 요소, Methuen, 1965, 페이지 151.

[6] Leon Horsten과 Richard Pettigrew, 철학적 논리의 연속체, Continuum International Publishing Group, 2011, ISBN 1-4411-5423-X , 페이지 199.

[7] Graham Priest, 비고전적 논리 입문: Cambridge University Press, 2008, 2nd Ed, If to Is, ISBN 0-521-85433-4 , 페이지 105.

[8] Dov M. Gabbay and Franz Guentner (eds), 철학논리 핸드북, 제6권, 스프링거, 2002, ISBN 1-4020-0583-0, 페이지 12.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

v t 논리 접속
tautology / true $©$ (\ $style \top$ )
대체 거부(낸드 게이트) $↑$ {\ $displaystyle \uparrow}$ 반대 의미 ${\displaystyle\왼쪽 화살표}$ 의미(IMPLY 게이트) $→$ {\ $displaystyle\right$ 화살표 $}$ 분리(OR 게이트) $†$ {\ $displaystyle \lor}$
부정(NOT 게이트) $†$ {\ $displaystyle \neg}$ Exclusive 또는 (XOR 게이트) ${\$ \ $displaystyle$ \ not \ $left$ right arrow $}$ 바이콘디셔널(XNOR 게이트) $↔$ {\ $displaystyle$ \ $left$ arrow $}$ NNOR $,$ 이 bic bic bic bic! 문(디지털 버퍼)
공동 거부(NOR 게이트) $↓$ {\ $displaystyle\down$ 화살표 $}$ 비복제(NIMPLY 게이트) $\nrightarrow$ † {\ $displaystyle \nrightarrow}$ 비복제 변환 ${\displaystyle\n왼쪽 화살표}$ 접속사(AND 게이트) $»$ {\ $displaystyle\land}$
모순/거짓 $»$ { $displaystyle \bot}$
철학 포털

v t 논리적 진실 »
기능:	진실값 진실 함수 § 동조절
형식:	이론. 형식적 증거 정리
부정	⊥ 거짓의 모순 부정합

Search

False(논리)

네임스페이스

더

목차

고전 논리 및 부울 논리

거짓, 부정, 모순

일관성.

「」를 참조해 주세요.

레퍼런스

Search

False(논리)

고전 논리 및 부울 논리

거짓, 부정, 모순

일관성.

「 」를 참조해 주세요.

레퍼런스

「」를 참조해 주세요.