RECUERDA:

INFERENCIAS
MODUS PONENDO PONENS
Tambin llamado modus ponens y generalmente abreviado MPP o MP, es una
regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser:
Si est soleado, entonces es de da.
Est soleado.
Por lo tanto, es de da.
Otra manera de presentar el modus ponens con el condicional es:

MODUS TOLLENDO TOLLENS

Tambin llamado modus tollens y generalmente abreviado MTT o MT, es una
regla de inferencia que tiene la siguiente forma:
si A entonces B
No B
Por lo tanto, no A
Por ejemplo, un razonamiento que sigue la forma del modus tollens podra ser:
Si hay luz solar, entonces es de da.
No es de da.
Por lo tanto, no hay luz solar.
Una manera formal de presentar el modus tollens es:

EL SILOGISMO HIPOTTICO
Es un argumento vlido si sigue la siguiente forma argumental:

En otro trminos, en este tipo de argumentos si A implica a B, y B implica a C,

transitivamente el primero (A) implica al tercero (C). Un ejemplo de silogismo
categrico es el siguiente:
Si no me despierto, no puedo ir a la fiesta.
Si no voy a la fiesta, no me divertir.
Entonces, si no me despierto no me divertir.

ALGEBRA PROPOSICIONAL- CIRCUITOS Y LGICOS

INFERENCIAS
I.Simplificar cada una de las siguientes proposiciones aplicando las leyes del algebra
proposicional:
A) (p q) (~q p)

B) (p q) p p
C) ~ (p q) (r s) s
D) (p ~ r) (~ q r)
E) [(~q ~p) (~p ~q)] ~ (p q)

F)( p q) v (p v q )
G) [ ( p v q) p] v q
H) ( p q ) ( p v q)
I) ( p q) v ( q v p) q
J)(p q) q p
II.Construir el circuito lgico de las siguientes expresiones Booleanas:
a)
b)
c)
d)

e)
III.

Hallar
r el equivalente de:
s
~
s
~
r
~
s
p
r
~
r
~p

~
q
p
q

p
q

~
r~

~
q

~
rq

IV.Determina la conclusin de las afirmaciones y demuestra si son validos o no.

A) Si digo siempre la verdad, los dems confan en m. Y si los dems confan en m,
me siento seguro e independiente. Cuando me siento seguro e independiente, soy
capaz de afrontar cualquier problema. Como yo digo siempre la verdad. Luego:

B) Si fueras un mandarn de la China, viviras con lujo y no tendras que trabajar. Y si

vivieses de esa manera, te distraeras haciendo viajes alrededor del mundo o alimentando a los faisanes de tu majestuoso palacio. Como no es el caso que te
distraigas con tales cosas. Por lo tanto:

C) El crimen se cometi de noche en la ms absoluta oscuridad o el principal

sospechoso es ciego. Pero, el principal sospechoso no es ciego o miente al declarar
que no vio nada. Pero, no miente o el detector de mentiras "Zopilotz" est estropeado.
El caso es que el citado detector es infalible (no puede estar estropeado jams).por lo
tanto:

D) Todo estara permitido, si las leyes no existen. Si las leyes no existen, no habran
normas morales. Es as que hay normas morales. Por lo tanto:

E) No es verdad que estudies y trabajas. Si quieres conseguir dinero entonces

trabajas.

Luego:

F) Si trabajo, no puedo estudiar. Estudio o paso matemticas, pero trabaj. Por lo tanto.
Pas matemticas. Luego:

G) Si 6 es par, entonces 2 no divide a 7. 5 no es primo 2 divide a 7. Por lo tanto, 6 es

impar. Luego:
.
H) Si me gusta ser Ingeniero, entonces estudiar. Estudio o pierdo el curso, en
consecuencia,si pierdo el curso, entonces no me gusta ser Ingeniero.Luego:

I) Si Londres no est en Dinamarca, entonces Pars no est en Francia. Por lo

tanto, Londres est en Dinamarca.

V.Determinar la menor expresin que representa la circuito dado:

A un electricista se le da el diagrama del circuito siguiente:

El quiere hacer una instalacin lo ms econmica posible y que sea equivalente al

original. Si cada interruptor cuesta $ 1.20 y no teniendo en cuenta el alambre, cunto le
cost la instalacin y cunto se ahorr.

1) Hallar las equivalencias los circuitos A, B y C.

2) Construir el circuito ms simple correspondiente al circuito:

3) El costo de cada llave en la instalacin del circuito siguiente es de $ 15. En

cunto se reducir el costo de instalacin si se reemplaza dicho circuito por el ms
simple

4) Construir el circuito lgico ms simple equivalente al circuito:

VI.Determinar los circuitos lgicos que representan a los siguientes esquemas

moleculares:
a)
b)

c)
d)
e)
f)
g)
h)
i)
j)
VII.Demuestra por la tabla de verdad y por el mtodo abreviado si los esquemas son inferencias
vlidas:
a) p ~ q
p v ~ q

c) p
q

.. ~ q

q
p

.. (p q)

b) p q
r v
q
~r
---------------.. q

d) p q
q r
r s
-----------------.. p s

2. Negar las siguientes proposiciones generales:

a) x / P (x) v ~ Q (x)
b)

x: P (x)

c)

x:

d)

x: P(x)

Q (x)

y / P(x) Q(x)
v y / ~ Q (x)

3. A un electricista se le da el diagrama del circuito siguiente:

El quiere hacer una instalacin lo ms econmica posible y que sea equivalente

al original.
Si cada interruptor cuesta $ 1.20 y no teniendo en cuenta el alambre, cunto le
cost la
instalacin y cunto se ahorr.
4. Demostrar que son equivalentes los circuitos A, B y C.

5. Construir el circuito ms simple correspondiente al circuito:

6. El costo de cada llave en la instalacin del circuito siguiente es de $ 15. En

cunto se
reducir el costo de instalacin si se reemplaza dicho circuito por el ms
simple

VIII. ESCRIBA 5 EJEMPLOS DE CADA INFERENCIA(SILOGISMO

HIPOTETICO, MODUS PONENS, MODUS TOLENS)