재료비복제
Material nonimplication물질적 비복제 또는 절제(라틴어 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 |
논리적 동등성
물질적 비복제는 물질적 함의 부정으로 정의될 수 있다.
![]() | ![]() |
고전적 논리에서도 P P과 Q{\의 분리를 부정하는 것과 같으며, 과 의 결합도 같다.
![]() | ![]() | ![]() | ![]() | ![]() |
특성.
거짓 확인:모든 변수에 "거짓"의 진리 값이 할당되는 해석은 물질적 비모방의 결과로 "거짓"의 진리 값을 산출한다.
기호
재료 비임시화의 기호는 단순히 교차된 재료 함축 기호일 뿐이다.그것의 유니코드 기호는 219B16 (8603 소수)이다.
자연어
문법적
"p 마이너스 q."
"q 없이 p."
수사학
"p 그러나 q는 아니다."
컴퓨터 공학
비트 연산:A&(~B)
논리 연산: A&(!B)
참고 항목
참조
외부 링크
Wikimedia Commons의 물질적 비복제 관련 미디어