discretas



Producto: Práctica Ejemplos sobre reglas de Inferencia

Autores: Omar de Jesús Morgado Ruíz
Daisy Guadalupe Méndez Cristen

Carrera: Ingeniería en SistemasComputacionales

Asignatura: Matemáticas Discretas

Semestre: 1

Profesora: Guadalupe Guendulay







1.- MODUS PONENDO PONENS (PP)
p  q “Si estudio, entonces apruebo el examen”(Premisa)
p “estudio” (Premisa)
q “Luego, apruebo el examen” (Premisa)

2.- MODUSTOLLENDO TOLLENS (TT)
p  q “Si estudio, entonces apruebo el examen” (Premisa)
¬q “Si no estudio” (Premisa)
¬p“Luego, no apruebo el examen” (Premisa)

3.-DOBLE NEGACIÓN (DN)
¬¬p                “No sucede que Daisy no tomará el autobús”
p                 “Daysi tomará elautobús”

4.- ADJUNCIÓN (A)
p          “Omar tiene una computadora”
q          “Daisy tiene un celular”
p Λ q   “Omar tiene una computadora y Daisy tiene un celular”

5.- SIMPLIFICACIÓN (S)
p Λ q  “Omar tiene una computadora y Daisy tiene un celular”
p          “Omar tiene una computadora”
q          “Daisy tiene un celular”




6.- MODUS TOLLENDO PONENS (TP)
p v q          “He estado en lacomputadora o he ido a hacer la tarea”
¬q            “No he ido a hacer la tarea”
p   “Por lo tanto, he estado en la computadora”

7.- LEY DE LA ADICIÓN (LA)
p            “Estoy viendola televisión”
p v q   “Estoy viendo la televisión o haciendo mi tarea”

8.- SILOGISMO HIPOTÉTICO (SH)
p → q       “Si apruebo el examen, entonces apruebo la unidad”
q → r       “Si apruebo launidad, tengo más del 70% en el examen”
p → r      “Si apruebo el examen, entonces tengo más del 70% en el examen”

9.- SILOGISMO DISYUNTIVO (SH)
p → q         “Si estudio, entonces...