13042298
Description
Mind Map by clara araque, updated more than 1 year ago
|
Created by clara araque
over 8 years ago
|
|
LOGICA PROPOSICIONAL
Clara Araque
- LOGICA
- Aquello que es coherente
- Bien estructurado
- Bien estructurado
- Estudia los principios y
estructuras del pensamiento
- Permite verificar si el racionamiento
es correcto o incorrecto
- Estudio de la razon el en
conocimiento
- Aquello que es coherente
- PROPOSICION
- Enunciado al cual se le puede
dar un valor de verdad
- Verdadero
- Paris es la capital de francia
- Paris es la capital de francia
- Falso
- 2+2=5
- 2+2=5
- Verdadero
- CLASES
- SIMPLES
- Se representan simbolicamente
mediante el uso de letras minusculas
- p,q,r,s,t
- p,q,r,s,t
- Sin conectivos logicos
- Daniela estudia
- Daniela estudia
- Se representan simbolicamente
mediante el uso de letras minusculas
- Compuesta
- Usa conectivos logicos: y;
o; entonces, etc.
- Daniela estudia y trabaja
- Daniela estudia y trabaja
- 2 o mas
proposiciones simples
- Usa conectivos logicos: y;
o; entonces, etc.
- SIMPLES
- Enunciado al cual se le puede
dar un valor de verdad
- Se basa en la aplicacion de simbolos por medio
de tablas de verdad, que nos permiten ver lo
verdadero o falso de las proposiciones
- Logica basada en proposiciones
- Es la parte de la logica que estudia la formacion de proposiciones
complejas a partir de proposiciones simples, y el valor de verdad
- OPERADORES LOGICOS
- Permiten decidir que valor de
verdad tiene una proposicion
- Negacion
- ~p:El acusado no dice la verdad
- ~p:El acusado no dice la verdad
- Doble negacion
- ~(~p):No es cierto que el
acusado no dice la verdad
- ~(~p):No es cierto que el
acusado no dice la verdad
- Conjuncion
- p^q: El acusado es pobre pero honesto
- p^q: El acusado es pobre pero honesto
- Disyuncion inclusiva
- rVs: llovera en la tarde o saldra el sol
- rVs: llovera en la tarde o saldra el sol
- Disyuncion exclusiva
- r°s:estoy o en guadalajara
o en monterrey
- r°s:estoy o en guadalajara
o en monterrey
- Permiten decidir que valor de
verdad tiene una proposicion
- TABLAS DE VERDAD
- Las tablas de verdad constituyen un método de
decisión para chequear si una proposición es o no
un teorema.
- Las tablas de verdad constituyen un método de
decisión para chequear si una proposición es o no
un teorema.
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.