그 추출 공식: ((p → q) → (q → p) 는 추출 공식과 같습니다.
이 추출은 (p → q) 가 잘못되었거나 (q → p) 가 옳다.
즉, (p → q) ∨ (q → p) 는 ︸ p) ∨ (q → p) 로 변환할 수 있습니다.
명제 공식은 복합 공식이라고도 하며, 수학 논리 용어로, 일정한 법칙에 따라 형성된 기호 시퀀스이다.
확장 데이터:
정의? 명제 공식 (명제 공식 (약칭 공식) 이라고도 하는 명제 공식은 다음 규칙에 따라 생성될 수 있습니다.
(1) 명제 변수는 명제 공식이다.
(2) a 가 명제 공식이라면? A 는 명제 공식이다.
(3) a 와 b 가 명제 공식인 경우 (A∧B), (A∨B), (A→B) 및 (a? B) 모두 명제 공식이다.
(4), (1), (2), (3) 제한적으로 적용되는 경우 명제변수, 접속사 및 괄호가 포함된 기호 문자열은 명제 공식입니다.
명제 공식의 정의는 재귀의 정의이다. 명제 공식 자체는 명제가 아니며 진가가 없다. 그것의 명제 변수에 값을 지정한 후에야 비로소 진정한 가치가 있다.
다섯 개의 연결 연산자는 우선 순위가 다릅니다. 하나의 명제 공식에 동시에 나타날 때 연결 사이의 연산 우선 순위는 무엇입니까? , ∧, ∧, →,? 괄호가 있으면 괄호 안의 작업이 우선합니다.
명제 공식의 분류
동의어 반복
명제 공식이 주어지면 명제 공식의 참값이 명제 변수의 임의 그룹에 대해 항상 1 을 할당하는 경우 이 명제 공식을 중언식 또는 영원한 진리라고 합니다.
모순된 표현
명제 공식이 주어지면, 명제 공식의 참값이 명제변수의 어떤 세트에 대해서도 항상 0 인 경우, 명제 공식은 모순적이거나 영원히 거짓이라고 한다. (알버트 아인슈타인, 명제, 명제, 명제, 명제, 명제, 명제, 명제)
만족할 수 있는 공식
주어진 명제 공식, 하나 이상의 할당이 공식의 참값이 1 인 경우 이 명제 공식을 만족할 수 있다고 합니다.
정의대로, 공식? (P∧Q)? P∨? Q 는 영원하다, 공식? (P→Q)∧Q 는 영구 거짓 공식이며, 영구 참 공식의 참 값은 항상 1 이므로 특수한 만족 공식입니다.
바이두 백과-명제 공식
바이두 백과-진리표