離散數(shù)學(xué)課件鄭01謂詞邏輯

xP(x)$x31∧140∧030∧041∧1?20071?2007等價(jià)，記為在E上AB等價(jià)，則稱A和B等價(jià)，記為A2離散數(shù)學(xué)?離散數(shù)學(xué)?2007 3離散數(shù)學(xué)?2007 4離散數(shù)學(xué)?離散數(shù)學(xué)?5離散數(shù)學(xué)?6?2007?2007 "x(P(x)fi "x(P(x)"xP(x)$yR(x, (" "xPxP(a)或"xP(xP"xP(x)8離散數(shù)學(xué)?離散數(shù)學(xué)?2007" $xP "x 公式9離散數(shù)學(xué)?2007 $x ②$x?P(x)?"公式2007基本概 $x"y$z(x+z=y$x$y$z(x+z=y$x$y"z(x+z=基本永 $x$y"z(x+z?公式離散數(shù)學(xué)?2007."x(A(x) "xA(x) "x(A(x)B) "xA(x)$x(A(x) $xA(x)$x(A(x) $xA(x)2007200720072007200720072007謂詞邏輯"x(A(x) "xA(x)"xB($x(A(x) $xA(x)$x(A(x)B(x))$xA(x)"xA(x)"xB(x)"x(A(x)"x(A(x)B(x "xA(x)"xB( "x(A(x)(A(a1)B(a1))(A(a2) (A(an))B(基本永 (A(a1)A( A(an))(B(a1) B("xA(x)"xB(離散數(shù)學(xué)?離散數(shù)學(xué)?$x(A(x) $xA(x)"x(A( B( "xA(x)"x"x(A(x) $x(A(x) ($xA(x)$x(A(x) $xA(x)公式離散數(shù)學(xué)?$x(A(x)B(x))$xA(x)$xB$x(A(x)B(x))$xA(x)但$xA(x)$xB(x)$x(A(x)域?yàn)镹。則$xA(x)$xB(x)是真，所以公式離散數(shù)學(xué)?離散數(shù)學(xué)?$x(A(x)B((A(a)B(a))(A(b)B(b))(A(c)B((A(a)A(b)A(c))(A(a)B(b)A(c(A(a)A(b)B(c))(A(a)B(b)B(c(B(a)A(b)A(c))(B(a)B(b)A(c(B(a)A(b)B(c))(B(a)B(b)B(c(A(a)A(b)A(c))(B(a)B(b)B(c$xA(x)$xB(公式離散數(shù)學(xué)?"xA(x)"xB(x)"x(A(x)$x( B(x))$xA(x)$x$x B(x))" B(x))("xA(x)""xA(x)"xB(x)" 公式謂詞邏輯.謂詞邏輯."x(A(x)fiB(x))"xA(x)fi"$x(A(x)fi "xA(x)fi$xA(x)fi"xB(x)"x(A(x)fi"x(A(x)?B(x))"xA(x)?""x(A(x)fiB(x))"xA(x)"xB"x(A(x)fiB(x))""x((A(x)fi $x(A(x)fiB( "xA(x)fi$xB(x$x(A(x)fi$x(A(x)$xA(x)基本永 "xA(x)$xB(x公式$xA(x)fi"xB(x)"x(A(x)fiB($xA(x)""xA(x)""x(A(x)B(公 "x(A(x)fiB(x季季"x(A(x)?B(x))"xA(x)?"xB("x(A(x)?B"x((A(x)fiB(x))(B(x)fi"x(A(x)fiB(x))"x(B(x)fi("xA(x)fi"xB(x))("xB(x)fi"基本永 "xA(x)?"xB(x公式$x(A(x)?公式2007計(jì)基礎(chǔ)?20072007計(jì)基礎(chǔ)?2007謂詞邏輯"x""y"""基本概 "x"yA(x,y "y"xA(x,y