Zusammenfassung der Ressource
LÓGICA SIMBÓLICA
- Representantes
- Gottfried Wilhelm Leibniz
- George Boole
- Augusto de Morgan
- Gottlob Frege
- Símbolos de la lógica proposicional
- Los enunciados y los conectivos
- Símbolos
- Tablas de verdad
- Valores de verdad
- Enunciados extensionales
- Definición de conectivos
- Métodos de demostración
- Tautologías
- Condicionales tautológicos
- Condicional asociado