Professional Documents
Culture Documents
LOGICA MATEMATICA
PRESENTADO POR:
ERIKA ALEXANDRA BARRAGAN
CODIGO: 30.388.332
TUTORA:
BIBIANA ROSERO CARVAJAL
90004_652
Ejemplo: Si Sandra estudia las leyes de inferencia entonces gana el curso de lgica.
Sandra estudia las leyes de inferencia
Conclusin:
Sandra gana el curso de lgica
En forma simblica
P: Sandra estudia las leyes de inferencia
Q: Sandra gana el curso de lgica
1. P
2. P
3. Q
3. p
Ejemplo:
Si Sandra asiste a clases de Qumica, entonces hace experimentos en el laboratorio
de la UNAD.
Sandra no hace experimentos en el laboratorio de la UNAD
Conclusin:
Sandra no asiste a clases de Qumica
En forma Simblica:
P: Sandra asiste a clases de Qumica
Q: Sandra hace experimento en el laboratorio de la UNAD
P Q
p
SILOGISMO HIPOTETICO
El silogismo hipottico tiene mucha relacin con la ley de transitivad (si AB, B C
Entonces AC)
1. P
2. Q
3. P
Q
R
R
Q
R
R
q)
r
(
(p
s)
r)
(p
r)
Respuesta
Reglas de inferencia
1 p
q premisa 1
2- r
s premisa 2
3- p
r premisa 3
p
s Conclusin
4- q
r silogismo hipottico en 4 y 2
5- p
~s contra reciproca en 1
6- p
s silogismo hipottico en 5 y 3
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
1
( p q)
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
2
( r s )
F
F
V
F
F
F
V
F
F
F
V
F
F
F
V
F
3
1
2
F
F
V
F
V
V
V
V
F
F
V
F
F
F
V
F
4
p r 3 4
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V
V
V
F
V
V
V
F
F
V
V
V
V
V
V
V
V
5
( p s) (4 5)
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
1. (P q)
2. (r r)
3. (q v s)
4.
5.
6.
7.
8.
9.
(p r)
(q v s) definicin de la implicacin 4.
q r ley de Morgan 5.
q
simplificacin 6.
s
simplificacin de 6.
sr contra recproco 3.