13031966
Beschreibung
Mindmap von cristian camilo lopez, aktualisiert more than 1 year ago
|
Erstellt von cristian camilo lopez
vor fast 7 Jahre
|
|
Logica y calculo proposicional
- LOGICA
- LOGICA FORMAL QUE ESTUDIA LOS PRINCIPIOS DEL
PENSAMIENTO
- logica inferencial o logica
formal
- Logica simbolica o
matematica
- SIMBOLOS
- Conectivos logicos
- Esquematizacion de los
conectores logicos
- Esquematizacion de los
conectores logicos
- SIMBOLOS
- LOGICA FORMAL QUE ESTUDIA LOS PRINCIPIOS DEL
PENSAMIENTO
- PROPOSICION
- TODA EXPRESION LINGUISTICA QUE SE AFIRMA SI ES
VERDADERO O FALSO
- SISTEMA QUE PERMITE VERIFICAR SI EL RAZONAMIIENTOES CORRECTO O
INCORRECTO
- SISTEMA QUE PERMITE VERIFICAR SI EL RAZONAMIIENTOES CORRECTO O
INCORRECTO
- Estas no son
proposiciones:
- Exclamativas
- Interrogativas
- Desiderativas: Expresan un
deseo
- Imperativas: Expresan un
mandato, una orden o un
ruego
- Imperativas: Expresan un
mandato, una orden o un
ruego
- Desiderativas: Expresan un
deseo
- Interrogativas
- Exclamativas
- TODA EXPRESION LINGUISTICA QUE SE AFIRMA SI ES
VERDADERO O FALSO
- Valor de verdad para una
proposicion atomica
- F si es falso
- V si es verdadero
- F si es falso
- PROPOSICION ATOMICA
- No tiene conectivos logicos
- EJEMPLO: tres es mayor que cuatro.
- EJEMPLO: tres es mayor que cuatro.
- No tiene conectivos logicos
- PROPOSICION MOLECULAR
- Contiene al menos un conectivo logico
- EJEMPLO: juan tiene 20 años "y" es hombre
- EJEMPLO: juan tiene 20 años "y" es hombre
- Contiene al menos un conectivo logico
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.