1

Facultad de Ingeniería en Sistemas, Electrónica e Industrial

Estudiante: Alexis Joel Poaquiza Peñaloza

Carrera: Software Paralelo: ¨B¨

Asignatura: Lógica Matemática Nivel: 1 Fecha: 18/11/2020

Docente: Marlon Santamaría

Tema: Tarea 2 (Inferencia Lógica)

Leyes de Inferencia Lógica

Ley Asociativa

Esta regla establece que a través de la asociación, no importa el orden en que juntemos

las proposiciones en el caso de disyunciones y conjunciones, ya que esto no altera su valor de

verdad.

Ejemplo:

a) ¨Es de día o el día está muy radiante o es verano¨ esto es equivalente a ¨Es verano

o el día está muy radiante o es de día¨

b) ¨El gobierno es muy tirano y es muy corrupto y es muy inestable¨ esto es

equivalente a ¨El gobierno es muy corrupto y es muy inestable y es muy tirano¨

Ley Modus Tollendo Tollens

También conocida como la ley (negando-niego). Esta ley establece que con un

condicional y la negación de su consecuente, es factible concluir la negación del antecedente, ya

que si un efecto no sucede, su causa tampoco pudo darse.

 2

En esta ley se tiene como primer premisa p → q y como segunda premisa ~q, de esta

manera es posible aplicar la ley Tollendo Tollens y se tiene como resultado ~p.

Ilustración 1

(Cardona Torres, 2012)

Esta ley también nos permite obtener una regla compuesta con la regla Modus Ponens ya

que ambas se establecen en la implicación.

Tomando estas dos reglas en cuenta se puede concluir que solo se puede afirmar a partir

del antecedente y negar sólo a partir del consecuente.

Vale aclarar que el Tollendo Tollens también se puede utilizar en una lista de

proposiciones.

Ejemplo:

a) Si se tiene la premisa: Si y es un número primo, entonces es divisible por sí

mismo, aplicamos Tollendo Tollens de la siguiente forma:

1. Si y es un número primo, entonces es divisible por si mismo y por la unidad P

2. y no es divisible por si mismo y por la unidad P

C. y no es número primo TT1.2

b) Si se tiene la premisa: ¨Si el verano se alarga, entonces los ríos empezaran a

secarse¨, aplicamos Tollendo Tollens de la siguiente forma:

1. Si el verano se alarga, entonces el río empezara a secarse P

2. El río no empieza a secarse P

C. Luego, el verano no se alargó TT1.2

 3

Ley de la Transposición Lógica

Esta ley establece que una implicación resulta semejante a su inversa negativa.

(p → q) ↔ (~q → ~p)

Ejemplo:

a) ¨Si anochece, el día es oscuro¨ esto es lógicamente semejante a ¨Si no anochece, el

día no es oscuro¨.

b) ¨Si hay combustible, el automóvil funciona¨ esto es lógicamente semejante a ¨Si

no hay combustible, el automóvil no funciona¨

Ley Modus Tollendo Ponens

Esta ley también conocida como la regla negando-afirmo dispone que negando una

proposición en una disyunción, se llega a afirmar la otra disyunción.

Ilustración 2

(Cardona Torres, 2012)

Ejemplo:

a) Si se tiene la primera premisa: He viajado a Bélgica o he viajado a Brasil y la

segunda premisa: No he viajado a Brasil, se puede concluir que: porque, he viajado a

Bélgica.
 4

1. Ha viajado a Bélgica o he viajado a Brasil P

2. No he viajado Brasil P

C. He viajado a Bélgica TP1.2

b) Si se tiene la premisa: La camioneta es un todoterreno o la camioneta es un

automóvil y la segunda premisa: La camioneta no es un automóvil, se llega a concluir

que: La camioneta es un todoterreno.

1. La camioneta es un todo terreno o la camioneta es un automóvil P

2. La camioneta no es un automóvil P

C. La camioneta es un todo terreno T.P1.2

En resumen:

Ley Asociativa Ley Modus Tollendo

[p v (q v r)] ↔ [(p v q) v r] Tollens
[p ^ (q ^ r)] ↔ [(p ^ q) ^ r] (p → q) ^ ~q ==> ~p

Ley de Transposición Ley de Tollendo Ponens

Lógica (p v q) ^ ~p ==> q
(p → q) ↔ (~q → ~p) (p v q) ^ ~q ==> p
 5

Bibliografías:

 Cardona Torres, S. A. (2012). Lógica matemática para ingeniería de sistemas y

computación. Armenia, Quindío, Colombia: Ediciones Elizcom. Recuperado de

https://elibro.net/es/lc/uta/titulos/71192.

 Izquierdo, J. (24 de Agosto de 2018). Lógica 05: 10 Reglas de reemplazo. [Seminarios

dinámicos]. Recuperado de https://crossexamined.org/logica-05-10-reglas-de-reemplazo/

 Anónimo. (23 de Noviembre de 2017). Inferencia y Demostración. Desconocido.

Medium. Recuperado de https://medium.com/@matematicasdiscretaslibro/5-inferencia-y-

demostraci%C3%B3n-2a000b541c0a