Usuario:Juansbotero/Ejercicio 6

SEA F(x) EQUIVALENTE A “x ENCUENTRA EL ERROR” Y SEA Q EQUIVALENTE A “ERROR DEL PROGRAMA PUEDE SER CORREGIDO2, TRADUZCA:

∀x(F(x)) → Q

SOLUCION

        •	Si x encuentra el error, dicho error del programa se puede corregir.
        •	Si no se encuentra ningún fallo, se puede corregir el error del programa

        (Amabas formas nos dicen lo mismo, en diferente escritura)