早教吧作业答案频道 -->其他-->
极大项极小项数理逻辑当中的范式的极大项和极小项的名字的由来是什么啊?那位大虾指教以下,
题目详情
极大项 极小项
数理逻辑当中的范式的极大项和极小项的名字的由来是什么啊?那位大虾指教以下,
数理逻辑当中的范式的极大项和极小项的名字的由来是什么啊?那位大虾指教以下,
▼优质解答
答案和解析
主范式,它是存在且唯一的.
定义:在含有n个命题变项的简单合取式(简单析取式)中,若每个命题变项和它的否定式不同时出现,而二者之一必出现且仅出现一次,且第i个命题变项或它的否定式出现在从左算起的第i位上(若命题变项无角标,就按字典顺序排列),称这样的简单合取式(简单析取式)为极小项(极大项).
由于每个命题变项在极小项中以原形或否定式形式出现且仅出现一次,因而n个命题变项共可产生2n个不同的极小项.其中每个极小项都有且仅有一个成真赋值.若成真赋值所对应的二进制数转换为十进制数i,就将所对应极小项记作mi.类似地,n个命题变项共可产生2n个极大项,每个极大项只有一个成假赋值,将其对应的十进制数i做极大项的角标,记作Mi.
为了便于记忆,将p,q与p,q,r形成的极小项和极大项分别列在表2.3和2.4上.
极小项与极大项有下面定理给出的关系.
定理:设mi与Mi是命题变项p1,p2,…,pn形成的极小项和极大项,则 ┐miMi,┐Mimi
定义:设由n个命题变项构成的析取范式(合取范式)中所有的简单合取式(简单析取式)都是极小项(极大项),则称该析取范式(合取范式)为主析取范式(主合取范式).
以及
定义:在含有n个命题变项的简单合取式(简单析取式)中,若每个命题变项和它的否定式不同时出现,而二者之一必出现且仅出现一次,且第i个命题变项或它的否定式出现在从左算起的第i位上(若命题变项无角标,就按字典顺序排列),称这样的简单合取式(简单析取式)为极小项(极大项).
由于每个命题变项在极小项中以原形或否定式形式出现且仅出现一次,因而n个命题变项共可产生2n个不同的极小项.其中每个极小项都有且仅有一个成真赋值.若成真赋值所对应的二进制数转换为十进制数i,就将所对应极小项记作mi.类似地,n个命题变项共可产生2n个极大项,每个极大项只有一个成假赋值,将其对应的十进制数i做极大项的角标,记作Mi.
为了便于记忆,将p,q与p,q,r形成的极小项和极大项分别列在表2.3和2.4上.
极小项与极大项有下面定理给出的关系.
定理:设mi与Mi是命题变项p1,p2,…,pn形成的极小项和极大项,则 ┐miMi,┐Mimi
定义:设由n个命题变项构成的析取范式(合取范式)中所有的简单合取式(简单析取式)都是极小项(极大项),则称该析取范式(合取范式)为主析取范式(主合取范式).
给我追加积分!
定义:在含有n个命题变项的简单合取式(简单析取式)中,若每个命题变项和它的否定式不同时出现,而二者之一必出现且仅出现一次,且第i个命题变项或它的否定式出现在从左算起的第i位上(若命题变项无角标,就按字典顺序排列),称这样的简单合取式(简单析取式)为极小项(极大项).
由于每个命题变项在极小项中以原形或否定式形式出现且仅出现一次,因而n个命题变项共可产生2n个不同的极小项.其中每个极小项都有且仅有一个成真赋值.若成真赋值所对应的二进制数转换为十进制数i,就将所对应极小项记作mi.类似地,n个命题变项共可产生2n个极大项,每个极大项只有一个成假赋值,将其对应的十进制数i做极大项的角标,记作Mi.
为了便于记忆,将p,q与p,q,r形成的极小项和极大项分别列在表2.3和2.4上.
极小项与极大项有下面定理给出的关系.
定理:设mi与Mi是命题变项p1,p2,…,pn形成的极小项和极大项,则 ┐miMi,┐Mimi
定义:设由n个命题变项构成的析取范式(合取范式)中所有的简单合取式(简单析取式)都是极小项(极大项),则称该析取范式(合取范式)为主析取范式(主合取范式).
以及
定义:在含有n个命题变项的简单合取式(简单析取式)中,若每个命题变项和它的否定式不同时出现,而二者之一必出现且仅出现一次,且第i个命题变项或它的否定式出现在从左算起的第i位上(若命题变项无角标,就按字典顺序排列),称这样的简单合取式(简单析取式)为极小项(极大项).
由于每个命题变项在极小项中以原形或否定式形式出现且仅出现一次,因而n个命题变项共可产生2n个不同的极小项.其中每个极小项都有且仅有一个成真赋值.若成真赋值所对应的二进制数转换为十进制数i,就将所对应极小项记作mi.类似地,n个命题变项共可产生2n个极大项,每个极大项只有一个成假赋值,将其对应的十进制数i做极大项的角标,记作Mi.
为了便于记忆,将p,q与p,q,r形成的极小项和极大项分别列在表2.3和2.4上.
极小项与极大项有下面定理给出的关系.
定理:设mi与Mi是命题变项p1,p2,…,pn形成的极小项和极大项,则 ┐miMi,┐Mimi
定义:设由n个命题变项构成的析取范式(合取范式)中所有的简单合取式(简单析取式)都是极小项(极大项),则称该析取范式(合取范式)为主析取范式(主合取范式).
给我追加积分!
看了 极大项极小项数理逻辑当中的范...的网友还看了以下:
极大项极小项数理逻辑当中的范式的极大项和极小项的名字的由来是什么啊?那位大虾指教以下, 2020-04-09 …
相同极值点的含义相同极值点一定是都对应极大值,极小值.还是可以是极大值=极小值 2020-05-23 …
为什么电池的正极比负极电势高?是因为正极,正电荷堆积?负极,负电荷堆积?电场中,正电荷从正走向负极 2020-06-02 …
台风文献中的实测极值风速时什么意思?我在看相关台风文献时,看到最大风速,极大风速,还有实测的极值风 2020-06-09 …
设函数f(x)满足x2f′(x)+2xf(x)=exx,f(2)=e28,则x>0时,f(x)() 2020-06-12 …
设函数f(x)满足x2f′(x)+2xf(x)=exx,f(2)=e28,则x>0时,f(x)() 2020-06-12 …
设函数f(x)满足x2f′(x)+2xf(x)=exx,f(2)=e28,则x>0时,f(x)() 2020-06-12 …
下列句中加点成语使用恰当的一项是()A.婷婷的父母是艺术家,婷婷从小耳濡目染,对艺术产生了极大兴趣 2020-07-16 …
关于MATLAB的一道问题.找出下面方程的极值点:f(x;y)=x^2+y^2-x*y^2-4确定 2020-07-31 …
设a>0,函数f(x)=(ax+b)/(x^2+1),b为常数。(1)证明:函数f(x)的极大值点和 2020-12-08 …