明白离散数学的来转转
论述域是整数对下列每一个断言找出谓词P使蕴含是是假
E代表存在两次
A代表全程量词
yAxP(x,y)->AxyP(x,y)
答案是|x|>=|y|
yAxP(x,y)如果我y取3x取2那岂不是E!yAxP(x,y)为F了既然这是蕴含式那么E!yAxP(x,y)->AxyP(x,y)就肯定是T了