离散数学课件郑01谓词逻辑

xP(x)$x31∧140∧030∧041∧1•20071•2007等价，记为在E上AB等价，则称A和B等价，记为A2离散数学•离散数学•2007 3离散数学•2007 4离散数学•离散数学•5离散数学•6•2007•2007 "x(P(x)fi "x(P(x)"xP(x)$yR(x, (" "xPxP(a)或"xP(xP"xP(x)8离散数学•离散数学•2007" $xP "x 公式9离散数学•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„公式离散数学•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(离散数学•离散数学•$x(A(x) $xA(x)"x(A( B( "xA(x)"x"x(A(x) $x(A(x) ($xA(x)$x(A(x) $xA(x)公式离散数学•$x(A(x)B(x))$xA(x)$xB$x(A(x)B(x))$xA(x)但$xA(x)$xB(x)$x(A(x)域为N。则$xA(x)$xB(x)是真，所以公式离散数学•离散数学•$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(公式离散数学•"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计基础•20072007计基础•2007谓词逻辑"x""y"""基本概 "x"yA(x,y "y"xA(x,y