Beruflich Dokumente
Kultur Dokumente
GRUPO
90004_516
Presentado Por
FRANCISCO JAVIER ASTUDILLO 1144192149
AJAEL CAROLINA GARRETA
CAMILO ANDRS POTES LOZANO
INS AMANDA SAUCEDO LANEZ cd. 1144165684
Tutor
JORGE ENRIQUE RAMREZ
INTRODUCCIN
El presente trabajo pretende profundizar en la Unidad 2, del curso de Lgica Matemtica donde
cada estudiante tendr lugar a la aplicacin e identificacin a conceptos de los distintos tipos de
razonamientos as como de instrumentos para determinar su validez.
El presente trabajo est desarrollado en tres fases, la primera que comprende la conclusin al
debate generado de un argumento aplicando los conceptos de tipos de razonamiento para
determinar si este es deductivo o inductivo; en la segunda fase, aplicamos con conceptos de
preposiciones, conectores lgicos y leyes de inferencia que conllevan a analizar un
razonamiento, en el cual se determina: la declaracin de proposiciones simples, premisas en
lenguaje simblico, conclusin en lenguaje simblico, las demostraciones a partir de tablas de
verdad y la demostracin a partir de un simulador, demostracin a partir de leyes de inferencia y
demostracin por reduccin al absurdo; y finalmente la fase tres donde compartimos una postura
personal al debate Qu ganamos y a qu renunciamos al vivir en sociedad?.
FASE 1.
FASE 2.
Premisa 1:
Premisa 2:
qr
Premisa 3:
Premisa 4: r s
3
Conclusin: s
4
Demostraciones:
1
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
p q
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
p
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
qr
v
f
v
f
v
v
v
v
v
f
v
f
v
v
v
v
r s
v
v
v
f
v
v
v
f
v
v
v
f
v
v
v
f
conclusin
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto el
razonamiento es vlido.
2
P1
P2
~p v
~q
f
f
f
f
v
v
v
v
v
v
v
v
v
v
v
v
p ~q
r
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
P3
P4
[(P1) ^ (P2) ^
(P3) ^ (P4)] --->
Conclusin
rs
qr
v
v
v
v
v
v
f
f
v
v
v
v
v
v
f
f
v
f
v
v
v
f
v
v
v
f
v
v
v
f
v
v
Conclusin
[(P1) ^ (P2) ^ (P
3) ^ (P4)] --- >
Conclusin
s
f
f
f
f
v
f
f
f
f
f
f
f
f
f
f
f
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la conclusin
y por lo tanto el razonamiento es vlido.
Simulador http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
{ [(pVq) p][(qr)(rs)] }s
T
Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: rs
Conclusin: s
Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
______________________
5. ~q1, 2 S.D
6. r
7. s
3, 5 MPP
6, 4 MPP
En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el
razonamiento es vlido.
De otra forma:
Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
______________________
5. ~q1, 2 S.D
6. ~q s3, 4 SH
7. s
5, 6 MPP
Nuevamente, las leyes de inferencia permiten deducir la conclusin, por lo tanto el razonamiento
es vlido.
Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa:
Si es posible entonces el razonamiento NO es vlido.
Premisa 1:~p v ~q
Premisa 2: p
Premisa 3:~q r
Premisa 4:rs
____________________
Conclusin
S
=F
Iniciamos por suponer que las cuatro premisas son verdaderas y la conclusin es falsa.
Si la conclusin s = F, para que la premisa 4 r s sea Verdadera, r debe ser Falsa.
En la premisa 3, para que sta sea verdadera, considerando que r es Falsa, q debe ser Verdadera.
De la premisa 2, p es verdadera. En la premisa 1: ~p es falsa, tanto como lo es ~q de donde se
concluye que la premisa 1 es Falsa, luego, no fue posible hacer que todas las premisas fueran
verdaderas y la conclusin falsa.
No fue posible que las premisas fueran verdaderas y la conclusin falsa. Por lo que el
razonamiento es vlido.
FASE 3
CONCLUSIN
Usamos los razonamientos lgicos en nuestra vida cotidiana aunque no lo notamos pues es un
proceso mecnico lo que no significa que no lo hagamos y sigamos los parmetros fijados para
tal fin no obstante en otra clase de razonamientos ms complejos debemos utilizar las normas
que se establecen para tal propsito as pues el razonamiento lgico hace parte esencial de
nuestra vida.
REFERENCIAS BIBLIOGRFICAS