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: 389
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.
© Centro de Investigación y Desarrollo de Recursos Científicos BioScripts.
BioDic – Diccionario de Biología – Un diccionario de términos científicos, sencillo.