Tarea 2: Argumentos y Reglas de Inferencia

Presenta:

Nombre, Código

Grupo

XX

Presenta a:

XX

Universidad Nacional Abierta y a Distancia (UNAD)

Escuela de ciencias de la Educación

Curso: Lógica Simbólica

2021
 Introducción

El presente trabajo trata del análisis y el desarrollo de diferentes ejercicios de aplicación

que se establecen en el desarrollo de la lógica proposicional, en donde el estudiante puede

desarrollar habilidades en las cuales se busca poder construir argumente y hacer uso de las

reglas de inferencia, a partir de la interpretación y aplicación para el desarrollo de los

diferentes ejercicios a partir del razonamiento lógico.

Desarrollo de la actividad

1. De acuerdo con la lectura realizada, respondan los siguientes interrogantes en

función de las temáticas relacionadas en esta unidad: argumentos y reglas de
inferencia, con la condición de que sean interpretadas desde el texto y a su vez
soportadas con argumentos realizados de forma colaborativa.
a. Definan con sus propias explicaciones el concepto de argumentos

R// Un argumento se puede establecer como un conjunto de premisas a las cuales se

les puede concluir, a partir de la aplicación de la lógica matemática, en donde este
debe ser sólido y válido con el fin de poder hacer uso de una lógica matemática
adecuada.

b. Determinen desde su comprensión cuales de los siguientes razonamientos

corresponden a razonamientos validos o no válidos:
 Los futbolistas son disciplinados,
Los disciplinados cumplen con los entrenamientos
________________________________________
Los futbolistas cumplen con los entrenamientos
p : Los futbolistas son disciplinados p → q

q : Los futbolistas cumplen conlos entrenamientos q

p→q
q
p

Tablas de la verdad

P q p→ q ( p →q ) → p
V V V V

V F F V

F V V F

F F V F

( ) Razonamiento válido (X) Razonamiento No válido

El razonamiento no es valido ya que en las tablas de la verdad como resultado
final no es una tautología, ya que es una forma proposicional contingencia.

 Los futbolistas No son disciplinados

Los futbolistas disciplinados No cumplen con los entrenamientos

Los futbolistas no son disciplinados

p : Los futbolistas no son disciplinados p

q : Los futbolistas no cumplen con losentrenamientos q

p→ q
q
p

 Tablas de verdad

P q p→ q ( p → q )→ p
V V V F

V F V F

F V F V

F F V V

( ) Razonamiento válido (X) Razonamiento No válido

La fórmula planteada a las premisas no es tautología y por lo tanto no es un

razonamiento valido.

 Los futbolistas son disciplinados

Los futbolistas disciplinados No cumplen con los entrenamientos

Los futbolistas no son disciplinados

 p : Los futbolistas son disciplinados

q : Los futbolistas no cumplen con losentrenamientos

p→q
q
p

Tablas de la verdad

P q ¿ ¿→ q¿
V V F V

V F F V

F V V F

F F V V

( ) Razonamiento válido (X) Razonamiento No válido

La formula planteada no represente a una tautología por lo tanto el razonamiento

no es valido

 Si usted No es disciplinado, tendrá reconocimiento

Si usted tiene reconocimiento, será feliz

________________________________________

Usted no es disciplinado

 p :Usted no es disciplinadoq :Usted tiene reconocimiento

Tablas de la verdad

P q p ∧q [( p ∧q) → p]
V V F V
 V F F V

F V V V

F F F V

(X ) Razonamiento válido ( ) Razonamiento No válido

La formula planteada de las premisas pertenece a tautología por lo que el

razonamiento es válido.

 Si usted No es disciplinado, No tendrá reconocimiento

Si usted No tiene reconocimiento, será feliz

____________________________________________

Si usted es disciplinado, será feliz

p :Usted no es disciplinado q :Usted no tiene reconocimiento

¿→ p

Tablas de verdad

P q p→ q ( p → q) ∧ q ¿→ p

V V V F V

V F V V V

F V F F V

F F V V F
 ( ) Razonamiento válido ( X) Razonamiento No válido
La formula planteada de las premisas no pertenece a tautología por lo que el

razonamiento no es válido.

2. Realizar los siguientes ejercicios propuestos en el libro: Obeso, F. V. (2013). Con

argumento lógico: Notas de matemáticas aplicadas. Recuperado de

https://elibronet.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/70056

 Página 95 (81 del libro): Conjunto de ejercicios 3.3.2

-Del punto 1 el a, b y c

En los problemas siguientes simbolice y verifique si se puede definir la conclusión

de las premisas; de ser posibles, entonces haga una deducción formal.

Punto 1. A

- Pedro es mayor de edad (P)

-Si Pedro estaba en el lugar del crimen, es sospechoso. (Q)

- Si Pedro es llamada a declarar entonces puede ser culpable. (R)

- Si pedro es sospechoso, entonces es llamado a que declare(S)

-Entonces Pedro tiene posibilidad de salir culpable. (T)

 Premisas-conclusión

P ,Q → R , S → T , P→ Q , R → S−T

Demostrando
 P
Premisa
Q →R
Premisa
S→ T
Premisa
P→ Q
Premisa
R→ S
Premisa
Q
M,P (1,4)
R
M,P (2,6)
S
MP (5,7)
T
T ( 3,8)

-Del punto 2 el a, b y c

a) P →Q , P⊢ Q

Demostrando
P→ Q
Premisa
P
Premisa
Q
M,P (1,2)
 Página 101 (87 del libro): Conjunto de ejercicios 3.3.4

1. La demostraciones para este grupo de ejercicios deben efectuarse con el uso del

RA, siempre que sea posible:

a) P , P → Q⊢ Q

Demostrando
P
Premisa
P →Q
Premisa
Q
PRA
P
T2 (2,3)
Q
RA (1,4)
 Pagina 109 (95 del libro): Conjunto de ejercicios 3.3.6

1. En los problemas siguientes simbolice y verifique si se puede deducir la

conclusión de las premisas; de ser posible, haga una deducción formal

a) -Pedro no tiene posibilidad de salir culpable.

-Si Pedro esta en el lugar del crimen, “es sospechoso”

-Si Pedro es llamado a declarar, entonces tiene la probabilidad de salir culpable.

-Si Pedro es mayor de edad, estaba en el lugar del crimen.

-Si Pedro es sospechosos, es llamado a declarar

Por lo tanto, Pedro no es mayor de edad

 P: Pedro tiene la posibilidad de salir culpable.

 Q: Pedro estaba en el lugar del crimen.

 R: Pedro es sospechoso.
 S: Pedro es llamado a declarar.

 T: Pedro es mayor de edad

Conclusión:

P ,Q → R , S → P , T → Q , R → S ⊢ T

Demostrando
P
Premisa
Q →R
Premisa
S→ P
Premisa
T →Q
Premisa
R→ S
Premisa
S
T,T ( 1,3)
R
T,T (5,6)
Q
T,T (2,7)
T
T,T (4,8)

2. Demuestre usando el método de Modus Tollendo Tollens y justifique al lado

derecho cada paso

a) P →Q , Q⊢ P

Demostrando
P →Q
Premisa
Q
Premisa
P
T,T (1,2)