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
"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