Documentos de Académico
Documentos de Profesional
Documentos de Cultura
AporteTaller Logica 2
AporteTaller Logica 2
LGICA MATEMTICA
Trabajo individual No.2
Presentado:
Tutor:
Omar Leonardo Leyton
La sierra Cauca
Mayo de 2012
Patricia:
Ana:
Diego:
gusta
Si nos gusta que existan personas que hagan ropa, entonces nos
vivir en comunidad.
Freddy:
Mara:
Jorge:
Tania:
No.
Proposicin
La
proposicin
es
VoF
El enunciado de Patricia es un
enunciado cientfico
Porque es un enunciado en
interrogante al cual no se le puede
dar valor de falso o verdadero
V
V
V
V
V
V
Justificacin
Tania:
podemos concluir que si respetamos las leyes de la
comunidad,
entonces hacemos algo por la paz
Declaracin de proposiciones simples:
P: Nos gusta vivir en comunidad
Q: Respetar las leyes de la comunidad
R: Hacer algo por la paz
Premisas:
Premisa 1: p
Premisa 2: p q
Premisa 3: r
Conclusin: p r
Demostraciones:
Fase 2.1: Demostracin a partir de las tablas de verdad
Forma 1:
P
F
F
F
F
V
V
V
V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
F
V
CONCLUSIO
N
V
V
V
V
F
V
F
V
F
F
V
V
F
F
V
F
V
F
PREMIS
A1
PREMIS
A2
PREMIS
A3
P1^P2^P
3
CONCLUSIO
N
P1^P2^P3C
ONCLUSION
F
F
F
F
V
V
V
V
V
F
F
V
F
V
F
F
F
F
F
F
V
V
V
V
F
V
V
V
V
V
V
V
V
F
V
V
V
F
V
F
F
V
V
F
V
V
V
V
1,2 MPP
5,3 S.D
Premisa 1: p
Premisa 2: p q
Premisa 3: r
V
V
V
Conclusin: p r
CONCLUSIONES:
Al elaborar este trabajo se logro aprender a elaborar las reglas de inferencia y
utilizarlas para justificar la validez de un argumento lgico.
Se logro definir y aplicar las reglas de inferencia para argumentos cuyas
premisas y conclusiones estn formadas por proposiciones no cuantificadas.