Usuario:Drodriguezp/ejercicio 3 B6

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

B. Simbolizar cada una de las proposicicones de los conjuntos siguientes y demostrar que la conclusion (la proposicion que empieza por "Por tanto...") es consecuencia logica.[editar]

P : Premisa
PP: Modus Ponendo Ponens

6.

  Si levanta aire humedo, entonces refrescará.
  Si refresca, entonces se formaran nubes.
  Se levanta aire humedo.
  Entonces se formaran nubes.
  P= Levanta aire humedo 
  Q= Refrescará 
  R= Formaran nubes
  (1) P → Q     (P)
  (2) Q → R     (P)
  (3) P         (P)
  (4) Q         (PP, 1 y 3)
  (5) R         (PP, 2 y 4)