离散数学与计算机编程（一） 命题函数

离散数学与计算机编程（一）

命题函数

author：misko_lee

global var:设含有变量的命题是命题函数，记作P(X)(P(X1,X2,Xn))(若无说明，本系列全部以单变量函数为描述方式)。则有：
1.?xP(x)表示该命题论域的合取。
2.?xP(x)表示该命题论域的析取。


Content:


上面的定理在计算机中的描述可以表示为。


exp1:?xP(x)


bool function fcn(x){
//the var x is a array type.


foreach(value as x){
if(value==false)
return false;
}
return true; //if the value as x all equal true.the function return true;
}


exp2:?xP(x)


bool function fcn(x){
//the var