You are on page 1of 13

TAREA 1: APLICACIN DE LAS REGLAS DE INFERENCIA.

Socializar en el Foro diseado para el desarrollo de la actividad la


conceptualizacin y dos ejemplos especficos (En caso de ser extrado
por alguna fuente bibliogrfica, se debe citar correctamente empleando
normas APA) de un grupo de las Reglas de Inferencia Lgica.
(solo selecciona un grupo de los 5 mostrados e informa en el foro cual
escogi, para que no sea escogido por otro integrante), las cuales son:

B. Modus Tolendo Ponens, Doble Negacin y Adjuncin

Modus Tolendo Ponens, Doble Negacin y Adjuncin

Modus Tolendo Ponens

primera premisa : d h
segunda premisa :d
conclusion :h

Ejemplo 1: voy al parque o voy al cine ya que no voy al parque, por


consiguiente, voy al cine.

d: Voy al parque
h: Voy al cine
1. d h
2. d
h

Ejemplo 2: realizamos los ejercicios de matemticas o vamos a jugar al


parque, ya que no realizaremos los ejercicios de matemticas, por lo
tanto, vamos a jugar al parque.

d: Realizamos los ejercicios de matemticas


h: Vamos a jugar al parque

1. d h
2. d
h

Doble Negacin
La doble negacin es el teorema que afirma que "Si un enunciado es
verdadero, entonces no es el caso de que la declaracin no es cierta."

(p )
p

Ejemplo 1: No es cierto que Papa Noel no existe

p : Pap Noel no exite


p: Pap Noel existe

Ejemplo 2: No es vedad que los perros no ladran

p : Los perros no ladran


p: Los perros ladran

Adjuncin
p
q
pq

Ejemplo1:

p: Cuando nos ejercitamos cuidamos nuestra salud


q: Mantenemos una linda figura

pq: cuando nos ejercitamos cuidamos nuestra salud y


mantenemos una linda figura

Ejemplo 2:

P: Visitare a mi abuela maana


q: Comer ricos buuelos

pq: visitare a mi abuela maana y comer rico buuelos

implificacin, Adicin y Silogismo Disyuntivo


Simplificacin Disyuntiva, Absorcin y Ley de Morgan
Distributiva, Exportacin, y Contraposicin
TAREA 2: PROBLEMAS DE APLICACIN I

Solucionar los siguientes enunciados y demostrar la validez o no validez


del argumento dado a travs de:

Uso de las tablas de verdad.


Uso de las reglas de inferencia.
Uso del simulador Truth Table.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi,


para que no sea escogido por otro integrante)

c. El consejo directivo de una Universidad, preocupado por el nmero


de estudiantes sin matricular, realiza un anlisis de este fenmeno
y encuentra la siguiente situacin. Si se suben las matrculas,
HABR retiros masivos. Si hay retiros masivos, ENTONCES el rector
debe replantear el aumento en las matrculas O la universidad se
cerrar. Si la universidad se cierra, EL rector ser el responsable.
El rector no replantear el aumento en las matrculas Y el rector no
ser despedido. EN CONSECUENCIA, no subirn las matrculas.

P= Se suben las matriculas


Q= habr retiros masivos.
R= El rector debe replantear el aumento en las matrculas
S= La universidad se cerrar.
T= El rector ser el responsable.

( P Q ) ( Q ( R S ) ) ( S T ) ( R T ) P

Premisas:

Premisa 1: ( P Q)
Premisa 2: (Q ( R S ) )
Premisa 3: (S T )
Premisa 4: ( R T ) P

Conclusin: P
( P Q ) ( Q ( R S ) ) ( S T ) ( R T ) P

p q r s t ( p Q )( r s ) ( q ( r s ) ) ( p Q ) ( q( ) Q ) -( q -t( r (s) ) R (s
s ( rt) ( sp)
r
Tt ) ( p Q ) ( q ( r - s ) ) ( (ps
p
QT ) ( q
R ( rT
s) ) ( s T )

V V V V V V V V V V V F F F F F V
V V V V F V V V V F F F V F F F V
V V V F V V V V V V V F F F F F V
V V V F F V V V V V V F V F F F V
V V F V V V V V V V V V F F F F V
V V F V F V V V V F F V V V F F V
V V F F V V F F F V F V F F F F V
V V F F F V F F F V F V V V F F V
V F V V V F V V F V F F F F F F V
V F V V F F V V F F F F V F F F V
V F V F V F V V F V F F F F F F V
V F V F F F V V F V F F V F F F V
V F F V V F V V F V F V F F F F V
V F F V F F V V F F F V V V F F V
V F F F V F F V F V F V F F F F V
V F F F F F F V F V F V V V F F V
F V V V V V V V V V V F F F F V V
F V V V F V V V V F F F V F F V V
F V V F V V V V V V V F F F F V V
F V V F F V V V V V V F V F F V V
F V F V V V V V V V V V F F F V V
F V F V F V V V V F F V V V F V V
F V F F V V F F F V F V F F F V V
F V F F F V F F F V F V V V F V V
F F V V V V V V V V V F F F F V V
F F V V F V V V V F F F V F F V V
F F V F V V V V V V V F F F F V V
F F V F F V V V V V V F V F F V V
F F F V V V V V V V V V F F F V V
F F F V F V V V V F F V V V F V V
F F F F V V F V V V V V F F F V V
F F F F F V F V V V V V V V V V V
Truth Table

p q r s t (pq)(q(rVs))(st)(rt)p

T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T

expression is a tautology
TAREA 3: PROBLEMAS DE APLICACIN II

Expresar los siguientes enunciados en Lenguaje natural relacionada con


la dinmica de la Universidad de su rol como estudiante y demostrar la
validez del argumento dado a travs de:

Uso de las tablas de verdad.


Uso de las reglas de inferencia.
Uso del simulador Truth Table.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi,


para que no sea escogido por otro integrante)

a. [( p q ) ( r s ) ( p r ) ] (q s)

b. {[ p ( q r ) ] ( q p ) ( s r ) p} s

c. [( p q ) ( r s ) ( p s ) ] ( s q )

Proposiciones simples.

P=si estudiamos todos los das.


Q=aprendemos y seremos buenos profesionales.
R=perdemos la materia.
S=no repetimos la materia.

Lenguaje Natural.

Si estudiamos todos los das entonces aprendemos y seremos buenos


profesionales. Si perdemos la materia entonces repetimos la materia.
Si estudiamos todos los das no repetimos la materia entonces no
repetimos la materia y aprendemos y seremos buenos profesionales.

[( p q ) ( r s ) ( p s ) ] ( s q )
[( V V ) ( F F ) ( V V ) ] ( V V )
[( V ) ( V ) ( V ) ] ( V )
(V ) (V )
(V )

Premisas.
(pq)
P(1):

P(2): ( r s)

P(3): (p s)

P(4): (s q )

Formula:

[ ( p q ) ( r s ) ( p s ) ] ( s q )

Validez por reglas de inferencia

P(1): (pq)

P(2): ( r s)

P(3): (p s)

P(4): (s q )

P(5):

p q r s -s ( p q )r s ( p q )
p s [( ps
(r q [s( )p
) q ) ( rs ( p q )s) ]( r s ) ( p s ) ] ( s

V v V V F V F F V F V V
V V V F V V V V F F F V
V V F V F V V V V V V V
V V F F V V V V F F F V
V F V V F F F F V F V V
V F V F V F V F F F F V
V F F V F F V F V F V V
V F F F V F V F F F F V
F V V V F V F F F F F V
F V V F V V V V F F F V
F V F V F V V V F F F V
F V F F V V V V F F F V
F F V V F V F F F F F V
F F V F V V V V F F F V
F F F V F V V V F F F V
F F F F V V V V F F F V
Truth Table

p q r s [(pq)(rs)(ps)](sq)

T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T

expression is a tautology
TAREA 4: RAZONAMIENTO DEDUCTIVO E INDUCTIVO

Identifique de los siguientes casos si el razonamiento es deductivo o


inductivo, argumentado la respuesta con sus propias palabras
(Solo selecciona uno de los 5 casos e informa en el foro cual escogi,
para que no sea escogido por otro integrante)

a. Se me presenta la siguiente situacin: el restaurante al que


siempre acudo, encuentro que uno y otro mircoles,
aparentemente sin excepcin el plato principal del almuerzo es
arroz con pollo. Entonces decid que no almorzara ah los
mircoles, porque los mircoles sirven arroz con pollo y a m no me
gusta.

b. La fuerza de gravedad atrae a todos los objetos hacia el centro de


la tierra con una fuerza y aceleracin constantes. Al soltar un
martillo de 5 kilogramos, desde una altura de 10 metros, tarda
aproximadamente un segundo en llegar al suelo. Al soltar una
pluma de 0,05 kilogramos desde una altura de 10 metros tarda
aproximadamente un segundo en llegar al suelo.
Independientemente del peso, todos los objetos son atrados con
la misma fuerza y tardan el mismo tiempo en llegar al suelo.
c. Explica la conclusin a la que llega Mafalda, de acuerdo a la
caricatura. Explica el mtodo de razonamiento (inductivo o
deductivo) utilizado.

En este caso MAFALDA lleva su razonamiento de algo ESPECFICO a algo


GENERL, por lo tanto MAFALDA est empleando un razonamiento INDUCTIVO.
Observa varios ejemplos o sucesos que puede observar en su casa puede ser y os
transfiere a algo GENERAL para todas las mujeres.
Este tipo de razonamiento es muy IMPRECISO, pero es el punto de partida para
muchas observaciones.

d. Los msculos de los brazos son de fibras estriadas que responden


a los impulsos voluntarios de la corteza parietal del lado opuesto.
Cuando existen lesiones en la regin parietal, se pierde el control
de algunos msculos voluntarios, entre otros, del brazo. Despus
del accidente donde el paciente recibi un golpe en la cabeza,
perdi el control del movimiento de sus brazos, as que es muy
probable que tenga una lesin en la corteza parietal.

e. Se sabe que en Bogot casi todos los fanticos del ftbol, son hinchas de
Millonarios, Santaf o Nacional, pero no todos. Cierto da me encuentro con una
persona en Bogot, amante del ftbol y prejuzgo, que probablemente, con base en
los conocimientos anteriores, esta persona es hincha de Nacional.