EL MUNDO DE LA LÓGICA

CD-ROM
(Autor: Francisco Conde Núñez)

Tablas de Verdad

Acerca del Cálculo Lógico

Reglas básicas Cálculo Lógico

• Ejercicios con Reglas básicas
  • Ejercicios por Teorema de Deducción
  • Ejercicios por Prueba por Casos
  • Ejercicios por Reducción al Absurdo

  Reglas derivadas Cálculo Lógico

• Ejercicios con Reglas Derivadas
  • Ejercicios por Teorema de Deducción y Reglas derivadas
  • Ejercicios por Reducción Absurdo y Reglas derivadas
• Lenguaje Natural
  • Ejercicios con Básicas en Lenguaje natural
  • Ejercicios con Derivadas en Lenguaje natural

  ---

  +Derivaciones Lógicas+

• Conceptos Básicos en la Lógica
• Tutorial sobre Reglas Lógicas
• Ejercicios con base en la Condicional
• Ejercicios con base en la Disyunción
• Ejercicios con base en la Conjunción
• Ejercicios con base en el Dilema
• Ejercicios con base en Leyes Morgan

---

Lógica y Lenguaje

Falacias

Metodología del saber científico

Razonamiento en el saber científico

Acertijos lógicos

Lógica On-line

Lógica de Clases

---

FORMALIZADOR LÓGICO

1. Árboles y Tablas de verdad
2. Cálculo Deducción natural

Puedes consultar el formalizador lógico en el Gateway to Logic de Christian Gottschall. Para observar como funciona pulsa en la sección de Lógica on-line.

---

	Introduzca los términos de búsqueda. Envíe el formulario de búsqueda
	Web www.paginasobrefilosofia.com

Lugares de interés lógico en la Red:

• Mission:Critical
• Logic
• John Saetti
• Logic Daemon
• Guide to Philosophy and Logic
• Reto Lógico en la Red
• Aprende Lógica

---


Esta obra está bajo una licencia de Creative Commons


RECURSOS
PRINCIPAL