Logica
2381 palabras
10 páginas
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIALÓGICA MATEMÁTICA
Trabajo grupal de calificación individual No.2
Presenta
Sofía Carolina Quesada Ortíz
c.c. 1.129.532.619
Francisco Javier Mosquera
c.c.1.129.579.537
Karina Daniela Ibarra
c.c.1.120.740.064
Tutor
Claudia Marcela Diaz
Director de curso
Georffrey Acevedo González
Medellín, Diciembre 10 de 2012
Introducción
El presente trabajo está desarrollado en dos fases. En la primera se estudia un argumento lógico, en el cual se determina si un razonamiento es inductivo o deductivo. En la segunda
Fase se encontrara los conceptos de proposiciones, conectivos lógicos e inferencias que confluyen al analizar un razonamiento.
Según la lectura “A que Viene la lógica” …ver más…
s 3, 4 MPP
6. ~p 5, 2 MTT
7. t 6, 1 S.D
En conclusión, las leyes de inferencia permiten deducir la conclusión, por lo tanto el razonamiento es válido.
2.3 Conclusión en lenguaje simbólico: t 2.4 Demostraciones:
2.4.1: Demostración a partir de las tablas de verdad forma 1:
Proposi Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusión ciones simples p q s t
pvq
~p
q→s
s→t
t
V V VV
V
F
V
V
V
V V VF
V
F
V
F
V
VVFV
V
F
F
V
V
VVFF
V
F
F
V
V
V F VV
V
F
V
V
F
V F VF
V
F
V
F
F
VF FV
V
F
V
V
F
VF FF
V
F
V
V
F
F V VV
V
V
V
V
V
F V VF
V
V
V
F
V
F VFV
V
V
F
V
V
F VFF
V
V
F
V
V
F F VV
F
V
V
V
F
F F VF
F
V
V
F
F
F F FV
F
V
V
V
F
F F FF
F
V
V
V
F
No existe el caso en que las