05

• p → q, p

  q (Modus Ponendo Ponens ) mnemotecnia: Pablo pinta cuadros, por lo tanto, cuelga sus creaciones.
• p → q, ¬q


  ¬p (Modus Tollendo Tollendo) mnemotecnia: Si no hay lluvia, los paraguas están en casa
• p ∨ q, ¬q

  p (Silogismo disyuntivo) mnemotecnia: O comes pizza o comes pasta; si no comes pizza, entonces comes pasta
• p ∨ q, ¬p

  q (Silogismo disyuntivo) mnemotecnia: O el perro ladra, o el gato maúlla; si el perro no ladra, entonces el gato maúlla
• p → q, q → r


  p → r (Silogismo hipotético puro) mnemotecnia: Si llueve, entonces el suelo está mojado; si el suelo está mojado, entonces las plantas crecen
• Regla de adjunción

  P , q = P ^ q
• Regla de simplificación 01 


  P ^ q = p
• Regla de simplificación 02

  P ^ q = q
• Regla de la adición

  P = p V q