domingo, 9 de septiembre de 2012

Logica predicativa

Aquí el ejercicio que me toco hacer para Verificación y Validación



"Some eggs are hard-boiled;
No eggs are uncrackable"


"Algunos huevos son duros;
No hay huevos que son irrompibles"



E(x) = eggs
H(x) = hard-boiled
U(x) = uncrackable
are = ->

Algo de teoría:


Some eggs are hard-boiled:


No eggs are uncrackable:

Entonces:
Si algunos no son duros y no rompibles no son huevos




1 comentario:

  1. "no eggs are uncrackable" sería \neg \exists x E(x) -> U(x). Ahora estás dicienco que "some eggs are uncrackable". Tu "entonces" tampoco tiene mucho sentido :P Más bien podrías concluir que todos los huevos son rompibles. Van 7 pts.

    ResponderEliminar