3421502
Beschreibung
Mindmap von davi_chin_gow, aktualisiert more than 1 year ago
|
Erstellt von davi_chin_gow
vor mehr als 8 Jahre
|
|
Lógica Proposicional
- Enunciado afirmativo
con valor de verdad
- Proposiciones
compuestas
- Dos o mas enunciados lógicos unidos
por un conectivo lógico
- Conectivos logicos
- Dos o mas enunciados lógicos unidos
por un conectivo lógico
- Álgebra de
proposiciones logicas
- Leyes
- Leyes
- Cuantificadroes
- Equivalencia logica
- Formalización
- Inferencia
- Inferencia
- Formalización
- Metedos de
demostración
- Directo
- Indirecto
- Reduccion al
absurdo
- Directo
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.