Lógica Matemática o simbólica. -Lógica Proposicional: Método tablas de verdad; método del condiconal asociado; método derivativo (o demostrativo); método de árboles lógicos. -Lógica de Predicados (o Cuantificacional o de Funciones):... more
Lógica Matemática o simbólica. -Lógica Proposicional: Método tablas de verdad; método del condiconal asociado; método derivativo (o demostrativo); método de árboles lógicos. -Lógica de Predicados (o Cuantificacional o de Funciones): Método derivativo (o demostrativo); método de árboles lógicos.
Tablas de verdad para aplicar al método de tablas de verdad (MTV). Reglas y leyes lógicas para aplicar al método demostrativo o derivativo (MD). Reglas para aplicar al MD en la lógica de predicados. Reglas de aplicación para el método de... more
Tablas de verdad para aplicar al método de tablas de verdad (MTV). Reglas y leyes lógicas para aplicar al método demostrativo o derivativo (MD). Reglas para aplicar al MD en la lógica de predicados. Reglas de aplicación para el método de árboles lógicos.