3421502
Description
Mind Map by davi_chin_gow, updated more than 1 year ago
|
Created by davi_chin_gow
over 9 years ago
|
|
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
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.