La fórmula decidible inmediatamente dado que su valor lógico es absolutamente claro: pasar una fórmula a su equivalente en forma normal es un procedimiento decisorio del cálculo lógico.
Visitas: 532
La fórmula decidible inmediatamente dado que su valor lógico es absolutamente claro: pasar una fórmula a su equivalente en forma normal es un procedimiento decisorio del cálculo lógico.