Exemple 1 Format normal  x(dog(x)  animal(x))
{"Image DocumentName": "Exemple 1 Format normal \uf022 x(dog(x) \uf0ae animal(x))", "Image ImageDescription": "Format clausale. \uf0d8 dog (x) \uf0da animal (x) \uf0d8 animal (y) \uf0da die (y) dog (Fido) \uf0d8 die(Fido) \uf0d8 dog (y) \uf0da die (y) 1, 2, {x=y} 6. die(fido) 3, 5 {y=fido) 7. False. 4, 6. Format normal. \uf022 x(dog(x) \uf0ae animal(x)) \uf022 y(animal (y) \uf0ae die(y)) dog (Fido) Niez la conclusion que Fido va mourir. \uf0d8 die(Fido) IFT615.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}