18416637
Description
Mind Map by Sandra Liliana Carvajal Becerra, updated more than 1 year ago
More
LOGICA MATEMATICA
- Trata de los métodos de
razonamiento
- proporciona reglas y técnicas para
determinar si es o no válido un argumento
- Lógica
proposicional
- La proposición el
elemento fundamental
- Clasificacion de las proporsiones
- por el numero
- simples
(atómicas)
- compuestas ( moleculares)
- tienen conectores (al menos uno).
- tienen conectores (al menos uno).
- carecen de
conectores
- compuestas ( moleculares)
- simples
(atómicas)
- por el valor
- Cerradas
- Abiertas
- permiten buscar la respuesta
- permiten buscar la respuesta
- el argumento tiene la respuesta
- Abiertas
- Cerradas
- por el numero
- Se simbolizan con las
letras p, q, r
- Clasificacion de las proporsiones
- No se interesa por el
contenido del pensamiento,
si no por su forma Y
estructura.
- Estudia las relaciones
formales entre las
proposiciones
- La proposicion es un enunciado escrito o
hablado, que puede ser cierta o falsa, pero no
ambas a la vez.
- No todas pueden ser proposiciones
- Imperativas o exhortativas.
Annotations:
- Ej: Debemos honrar el bicentenario
- Exclamativas o admirativas.
Annotations:
- Ej. ¡Que suerte! ¡Casi me saco el monobingo!
- Desiderativas.
Annotations:
- Ej. Sea en hora buena
- las Dubitativas.
Annotations:
- Quizás llueva mañana
- Las pseudoproposiciones
Annotations:
- Ej. El cuadrado es inteligente
- Las funciones proposicionales.
Annotations:
- Ej. 2X + 6 = 14
- las descripciones definidas.
Annotations:
- Ej. El actual presidente del Banco Central
- Los filosofemas.
Annotations:
- Ej. La materia se mueve en un ciclo eterno.
- No son proporsiones
- Imperativas o exhortativas.
- Las proposiciones se
pueden combinar para
obtener otras
proposiciones utilizando
los conectivos lógicos
(enlaces).
- Conectores
logicos
- La conjunción
Y
- p ᴧ q
Annotations:
- pero, aunque, no obstante sin embargo
- La disyunción " o "
- p v q
Annotations:
- en sentido incluyente) p o q, o ambos
- Negación
- p ᷉ q
Annotations:
- no p, no es cierto que p, no ocurre que p
- " ó " exclusiva
- p Ṿ q
Annotations:
- p ó q (en sentido excluyente) O p o q pero no ambos
- condicional ( Si … entonces)
- p → q
Annotations:
- si p entonces q; p implica q, implicación material, p solo si q; q si p; cuando p, q
- doble implicación,
bicondicional
- p ↔ q
Annotations:
- p si y solo si q
- Propiedades de los conectores
- Involutiva
- ᷉p ( ᷉p ) ≡ p
- Conmutativa
- p ᴧ q ≡ q ᴧ p p v q ≡ q v p
- Asociativa
- (p ᴧ q) ᴧ r ≡ (q ᴧ r) ᴧ p
(p v q) v r ≡ p v (q v r)
- Distributiva
- p ᴧ (q v r) ᴧ r ≡ (p ᴧ q) v (p ᴧ r)
p v (q ᴧ r) ≡ (p v q) ᴧ (p v r)
- Leyes de Morgan:
- ᷉(p ᴧ q) ≡ ( ᷉p
v ᷉q) ᷉( p v
q) ≡ ( ᷉p ᴧ ᷉q)
- Definición del Condicional
- Negación de un condicional
- ᷉( p → q) ≡ p ᴧ ᷉q
- otras
- p ᴧ ᷉p ≡ F
- p v ᷉p ≡ V
- p ᴧ F ≡ F
- p v F ≡ p
- p v V ≡ V
- p ᴧ V ≡ p
- p ᴧ ᷉p ≡ F
- ᷉( p → q) ≡ p ᴧ ᷉q
- P → q ≡ ᷉p v q
- Negación de un condicional
- ᷉(p ᴧ q) ≡ ( ᷉p
v ᷉q) ᷉( p v
q) ≡ ( ᷉p ᴧ ᷉q)
- p ᴧ (q v r) ᴧ r ≡ (p ᴧ q) v (p ᴧ r)
p v (q ᴧ r) ≡ (p v q) ᴧ (p v r)
- (p ᴧ q) ᴧ r ≡ (q ᴧ r) ᴧ p
(p v q) v r ≡ p v (q v r)
- p ᴧ q ≡ q ᴧ p p v q ≡ q v p
- ᷉p ( ᷉p ) ≡ p
- Involutiva
- p ↔ q
- p → q
- p Ṿ q
- p ᷉ q
- p v q
- p ᴧ q
- La conjunción
Y
- Conectores
logicos
- No todas pueden ser proposiciones
- La proposicion es un enunciado escrito o
hablado, que puede ser cierta o falsa, pero no
ambas a la vez.
- Tiene su propio
lenguaje : el lenguaje
simbólico
- La proposición el
elemento fundamental
- Lógica
proposicional
- proporciona reglas y técnicas para
determinar si es o no válido un argumento
Want to create your own Mind Maps for free with GoConqr? Learn more.