WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: Patrones, Forma Normal Conjuntiva (FNC) clasifican en Reglas estándar de inferencia, Conjunción de disyunciones literales representa Forma Normal Conjuntiva (FNC), Disyunciones Literales representa Resolución, en base a sentencias infiere Modus Ponens, Eliminación clasifican en Reglas estándar de inferencia, cualquiera de las conjuntores infiere Eliminación, Algoritmo de Resolución infiere Conviertiendo a FNC, Resolución clasifican en Reglas estándar de inferencia, Encadenamiento hacia delante y hacia atras clasifican en Reglas estándar de inferencia, Modus Ponens clasifican en Reglas estándar de inferencia, Encadenamiento hacia delante y hacia atras usa Clausulas de Horn (disyunción de literales), Algoritmo de Resolución clasifican en Reglas estándar de inferencia, Reglas estándar de inferencia son Patrones de Razonamiento en Lógica Proposicional