재료비복제

Material nonimplication
Q 의 벤 다이어그램

물질적 비복제 또는 절제(라틴어 ab = "시작", 정크시오 =–"접속")는 물질적 함의 부정이다.즉, Q 의 두 가지 명제에 대해 에서 까지의 재료 비임시화가 P }에서 Q}까지의 재료 함의 부정인 경우에만 이라는 것이다.는 P 에서 Q{\까지의 재료 비임시화가 P (가) 참이고 (가) 거짓인 경우에만 참이기 때문에 더욱 자연스럽게 기술된다.

It may be written using logical notation as , , or "Lpq" (in Bocheński notation), and is logically equivalent to , and .

정의

진리표

T T F
T F T
F T F
F F F

논리적 동등성

물질적 비복제는 물질적 함의 부정으로 정의될 수 있다.

Venn0100.svg Venn1011.svg

고전적 논리에서도 P P Q{\분리를 부정하는 것과 같으며, 결합도 같다.

Venn0100.svg Venn1010.svg Venn0011.svg Venn0101.svg Venn1100.svg

특성.

거짓 확인:모든 변수에 "거짓"의 진리 값이 할당되는 해석은 물질적 비모방의 결과로 "거짓"의 진리 값을 산출한다.

기호

재료 비임시화의 기호는 단순히 교차된 재료 함축 기호일 뿐이다.그것의 유니코드 기호는 219B16 (8603 소수)이다.

자연어

문법적

"p 마이너스 q."

"q 없이 p."

수사학

"p 그러나 q는 아니다."

컴퓨터 공학

비트 연산:A&(~B)

논리 연산: A&(!B)

참고 항목

참조

외부 링크