UNIVERSIDAD TECNICA DE AMBATO

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

Nombre: Christopher Sánchez

Curso: 2do Industrial “B”

Fecha: 08/05/2019

Tema: Leyes de Inferencia Lógica

1. Ponendo Ponens (P.P)

PQ
P
----------
Q

1. P: Si tengo dinero entonces () Q: Voy a la playa

2. P: Si tengo dinero
Q: Voy a la playa (P.P) 1-2

1. P: Si me acompañas a la fiesta entonces () Q: Voy a ponerme

alegre

2. P: Si me acompañas a la fiesta
Q: Voy a ponerme alegre (P.P) 1-2

1. P: Si pones atención entonces () Q: Aprenderás más rápido

2. P: Si pones atención
Q: Aprenderás mas rápido (P.P) 1-2

1. P: Si saco 10 en mi próximo examen entonces () Q: Obtendré una

beca

2. P: Si saco 10 en mi próximo examen

Q: Obtendré una beca(P.P) 1-2
 1. P: Si Ecuador gana los próximos partidos entonces () Q: Ecuador
clasifica al mundial

2. P: Ecuador gano los partidos

Q: Ecuador clasifica al mundial (P.P) 1-2

2. Doble Negación (DN)

A ≡~ (~A)

A: Es de día ≡ ~ (~A): No es verdad que (no es de día, es de noche)

A: El reo es culpable ≡ ~ (~A): No es verdad que (El reo no es culpable)

A: Hay vida en la luna ≡ ~ (~A): No es verdad que (no hay vida en la luna)

A: Los perros tienen 4 patas ≡ ~ (~A): No es verdad que (Los perros no tienen cuatro patas)

A: La tierra es circular ≡ ~ (~A): No es verdad que (La tierra no es circular)

3. Modus Tollendo Tollens (T.T)

PQ
~Q
----------
~P

1. P: Si un polígono tiene tres lados entonces () Q: es un triángulo.

2. ~Q: No es un triángulo.

~P: El polígono no tiene tres lados (T.T) 1-2

1. P: Si hace buen tiempo entonces () Q: lavaré el automóvil.

2. ~Q: No lavaré el automóvil.

~P: No hace buen tiempo (T.T) 1-2

1. P: Si trabajas horas extra entonces () Q: te pagarán jornada y media

 2. ~Q: No te pagarán jornada y media.

~P: No trabajas horas extra (T.T) 1-2

1. P: Si un triángulo tiene tres lados congruentes entonces () Q: es un

triángulo equilátero

2. ~Q: No es un triángulo equilátero.

~P: El triángulo no tiene tres lados congruentes (T.T) 1-2

1. P: Si es herbívoro entonces () Q: Se alimenta de plantas

2. ~Q: No se alimenta de plantas.

~P: No es herbívoro (T.T) 1-2

4. Adjunción (A)
P
Q
(P^Q)

1. P: Es herbívoro
2. Q: Se alimenta de plantas.

P: Es herbívoro ^ (y) Q: Se alimenta de plantas.

1. P: Es de Día
2. Q: Tengo clases

P: Es de Día ^ (y) Q: Tengo Clases

1. P: Mañana es viernes
2. Q: Hay fiesta

P: Mañana es viernes ^ (y) Q: Hay fiesta

 1. P: Brian es estudiante de la uta
2. Q: Juan es estudiante de Ing. Civil

P: Brian es estudiante de la uta ^ (y) Q: Juan es estudiante de Ing. Civil

1. P: Liver pool Gano 4-0

2. Q: Barcelona perdió

P: Liver pool Gano 4-0 ^ (y) Q: Barcelona perdió

5. Simplificación (S)
(P^Q)
P
Q

P: Liver pool Gano 4-0 ^ (y) Q: Barcelona perdió

P: Liver pool Gano 4-0
Q: Barcelona perdió

P: Mañana es jueves ^ (y) Q: Tengo clases

P: Mañana es jueves
Q: Tengo clases

P: El hombre es amable ^ (y) Q: inteligente

P: El hombre es amable
Q: El hombre es inteligente

P: Fuimos a buscarte ^ (y) Q: no te encontramos

P: Fuimos a buscarte
Q: no te encontramos

P: Es herbívoro ^ (y) Q: Se alimenta de plantas.

P: Es herbívoro
Q: Se alimenta de plantas

6. Modus Tollendo Ponens (T.P)

Pv Q Pv Q
~P ~Q
Q P
 P: La tierra gira alrededor del Sol v (o) Q: El Sol gira alrededor de la tierra
~P: La tierra no gira alrededor del Sol
Q: El Sol gira alrededor de la tierra

P: Egipto está en Europa v (o) Q: España está en Asia

~P: Egipto no está en Europa
Q: España está en Asia

P: Samanta es hombre v (o) Q: Mujer

~P: Samanta no es Hombre
Q: Samanta es mujer

P: Mi gato es un felino v (o) Q: un animal

~P: Mi gato no es un felino
Q: Mi gato es un animal

P: El numero 2 es real v (o) Q: Entero

~P: El numero 2 no es real
Q: El numero 2 es entero