명제 공식 P ∨ Q 의 주합 패러다임을 구하다.

P? , q, r, PVQ? , RVQ? ,? (p ∨ q) → (r ∨ q); 그런 다음 주요 추출 패러다임은 (-p ∧-q ∧-r) v (-p ∧-q ∧ r) v (-p ∧ q ∧-r) v 입니다.

주요 통합 패러다임은 PV-qv-R 입니다.

여기서'-'는 옳고 그름이다. P∧Q 는 이 공식의 주요 추출 패러다임이다. 이는 가장 작은 항목 m3 이기 때문에 패러다임의 보완성에 따라 그 주합 패러다임은 M0 "M1"M2 이다.

확장 데이터:

명제 공식의 주합 패러다임과 주추출 패러다임을 구하다. 주추출 패러다임은 몇 가지 가장 작은 항목의 분리이다. 소위 최대 항목은 추출 표현식 p∨ 입니까? Q ∨ R. 。

소위 최소 항목은 모든 명제 변수를 포함하는 합법 표현식입니까? P∧? Q ∧ R. 이산수학은 수학과 컴퓨터과학 사이의 다리로 볼 수 있다. 이산수학은 집합론, 도론 등 수학 지식과 컴퓨터 과학의 데이터베이스 이론, 데이터 구조와 관련이 있기 때문이다.

바이두 백과-이산 수학