PROCESOS LOGICOS DE PENSAMIENTO

Tarea 2, unidad 3

Bandera Valery (1392310145)

González Humberto (142310063)
Janne Anwar (102320023)
Laino Valery (1392320055)

UNIVERSIDAD AUTONOMA DEL CARIBE

Cursos virtuales
Barranquilla 24/10/2023
1. Identificar al lado de los siguientes enunciados la regla de inferencia a que se hace referencia.

1. De un condicional y la afirmación del antecedente del condicional se puede concluir el

consecuente del condicional. Modus Ponendo Ponens (MPP)
2. Podemos quitar dos negaciones consecutivas o agregarlas. Doble negación
3. De un condicional y la negación del consecuente se concluye la negación del
antecedente. Modus Tollendo Tolens (MTT)
4. Dada una conjunción se concluye cualquiera de sus partes. Simplificación
5. Dada una proposición, se puede agregar con una disyunción cualquier otra proposición.
Adicion
6. Dada una disyunción y la negación de una de las partes, se concluye la otra parte. Modus
Tollendo Ponens (MTP)
7. Dada dos proposiciones, se pueden unir mediante “y” en cualquier orden. Conjunción

2. Dar la conclusión que puede deducirse al aplicar una regla de inferencia en cada inciso.

a. Juan va al cine o al concierto. Juan no va al cine. Por lo tanto: Juan va al concierto

b. No ocurre que el agua no está en estado gaseoso. Por lo tanto: El agua está en estado
gaseoso
c. Si Juan es condenado, entonces fue hallado culpable. Juan no fue hallado culpable. Por lo
tanto: Juan no es condenado
d. Juan viaja a España y a Río de Janeiro. Se deduce: Juan viaja a España

3. Realizar la deducción formal de los siguientes argumentos.

a. p → ¬ ¬ q, p, q → ¬ r, m → r ├ ¬ m
p → ¬ ¬ q / premisa
p / premisa
q → ¬ r / premisa
m → r / premisa
¬ ¬ q / MPP 1, 2
q / DN 5
~ m / MTT 4, 7
b. q → r, p → q, ¬ r, ¬ p → s ├ s
q → r / premisa
p → q / premisa
¬ r / premisa
¬ p → s / premisa
~ q / MTT 1, 3
~ p / MTT 2, 5
s / 4, 6 MPP