Usuario:Ricardocorrea~eswikibooks/capitulo2,ej6,pag91

capitulo2,ej6,pag91

1)Sea f(x)quivalente a "x encuentra el error" y sea Q equivalente a "error del programa puede ser corregido" traduzca:

-Entonces tenemos que nos dan el "significado" de:

f(x)="x encuentra el error"

Q=a"error de la pagina puede ser corregido"

Traduzca:

$\forall _{x}$p(x) => Q

y esto es:

-Definiendo x como

x="proceso"

-entonces esto es igual a:

"todo proceso encuentra el error" entonces "el error puede ser corregido"