Tarea 1

SIMPLIFICACIÓN DISYUNTIVA (SD)

Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo consecuente, y sus antecedentes se
corresponden con los dos miembros de una disyunción, podemos concluir con el consecuente de ambas implicaciones.

Ejemplo 1)

pVq “Helado de fresa o helado de vainilla”

p→r “Si tomas helado de fresa, entonces repites”

q→r “Si tomas helado de vainilla, entonces repites”

____________________________________________________

r Luego, repites

Ejemplo 2)

pVq “Jessica sube a la rueda de la fortuna o a la montaña rusa”

p→r “Jessica sube a la rueda de la fortuna, entonces se marea”

q→r “Jessica sube a la montaña rusa, entonces se marea”

____________________________________________________

r Luego, Jessica se marea

LEYES DE MORGAN (DM)

Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una conjunción en una disyunción.
Cuando se pasa de una a otra, se cambian los valores de afirmación y negación de los términos de la disyunción/conjunción
así como de la propia operación en conjunto, como podemos observar aquí:

pΛq pVq
___________ ____________

¬(¬p V ¬q) ¬(¬p Λ ¬q)

Ejemplo 1)

La negación de: Si Karen sale o Francisco compra un obsequio

¬(KvF)

Karen no sale y Francisco no compra el obsequio.

(¬K)^ (¬F)

Ejemplo 2)

La negación de: Si Juan va a la escuela o Fernando hace ejercicio

(¬J)^ (¬F)

ABSORCIÓN
Es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional.1 2 La regla establece que
si P implica Q, entonces P implica P y Q. La regla hace posible introducir conjunciones en pruebas. Esto se llama ley de
absorción ya que el término P es "absorbido" por el término Q en la consecuencia.

La absorción puede escribirse formalmente como:

p→q

p → (p Λq)

o sea: siempre que aparezca una instancia de p → q en una línea de alguna prueba, p → (p Λq) se puede concluir en
la línea siguiente.

Ejemplo 1) p V (p Λ q) =P

Ejemplo 2) ¬ s Λ (¬ s V p) = ¬ s

Tarea 2

[(p→q)∧(q→r)∧¬s]→(p→q)∨(p→r)

Tabla de Verdad

2 a la 4 = 16
P Q R S [(p → q) ∧ (q → r) ∧ ¬s] → (p → q) ∨ (p → r)
V V V V V V V V V V V F F V V V V V V V V
V V V F V V V V V V V F V V V V V V V V V
 V V F V V V V F V F F F F V V V V V V F F
V V F F V V V F V F F F V V V V V V V F F
V F V V V F F F F V V F F V V F F V V V V
V F V F V F F F F V V F V V V F F V V V V
V F F V V F F F F V F F F V V F F F V F F
V F F F V F F F F V F F V V V F F F V F F
F V V V F V V V V V V F F V F V V V F V V
F V V F F V V V V V V F V V F V V V F V V
F V F V F V V F V F F F F V F V V V F V F
F V F F F V V F V F F F V V F V V V F V F
F F V V F V F V F V V F F V F V F V F V V
F F V F F V F V F V V F V V F V F V F V V
F F F V F V F V F V F F F V F V F V F V F
F F F F F V F V F V F F V V F V F V F V F
1 3 2 4 R 5 7 6

Reglas de Inferencia

[(p→q)∧(q→r)∧¬s]→(p→q)∨(p→r)

1. (p→q)
2. (q→r)

Conclusiones
(p→q)
(p→r)

3. (p→r) Silogismo hipotético 1 y 2

4. (p→q) Silogismo hipotético 3 y 2

Tarea 3

[(p⟶q)∧(r∨s)∧(r⟶t)∧(∼q)∧(u⟶t)∧(s⟶p)]⟶t
 2 a la 6 = 64

[( p → q) Λ (r V s) Λ (r → t) Λ (¬ q) Λ (u → t) Λ (s → p)] → t

TABLA DE VERDAD.xlsx

Leyes de inferencia

1. (p → q)
2. (r V s)
3. (r → t)
4. (¬ q)
5. (u → t)
6. (s → p)

Conclusiones
→t

7. (¬ q → ¬ p) contra reciproca 1
8. (¬ p) modus tollens 7 y 4
9. (¬ p → ¬ s) contra reciproca 6
10. (¬ s) modus tollens 8 y 9
11. (¬ s V ¬ r) modus tollens 2
12. (¬ r) modus tollens 10 y 11
13. (¬ t → ¬ r) contra reciproca 3
14. ( ¬ t) modus tollens 12 y 13
15. (t) contra reciproca 14
16. → t modus ponens 14 y 5

https://sites.google.com/site/cursomatematicasdiscretas/3-1-proposicion
https://es.wikipedia.org/wiki/Absorci%C3%B3n_(l%C3%B3gica)
https://www.scribd.com/doc/23816219/Tarea-Logica-Leyes-de-Inferencia
https://www.youtube.com/watch?v=uFj5o7uuWrg