Question

Demostrar el siguiente enunciado
No existe una estrella gemela al Sol fuera de la Vía Láctea o existe un planeta en esa estrella
llamado Némesis. Los dinosaurios desaparecieron de la faz de la Tierra debido a un cataclismo
producido por la aproximación a nuestro planeta de un cuerpo celeste de considerable
tamaño. Si, si existe una estrella gemela al Sol fuera de la Vía Láctea, su planeta Némesis
destruirá la Tierra, entonces no es cierto que los dinosaurios desaparecieron de la faz de la
Tierra debido a un cataclismo producido por la aproximación a nuestro planeta de un cuerpo
celeste de considerable tamaño. Por tanto, no es cierto que si es cierto que existe un planeta
llamado Némesis en la estrella gemela al Sol que se halla fuera de la Vía Láctea, destruya la
Tierra.

Answer 1

DATOS :

 Formalización :

 p: existe una estrella gemela ...                           ¬ p∨q

 q :existe un planeta llamado Némesis.                  r

 r : los dinosaurios desaparecieron ...                   ( p→s ) →¬r

                                                                           __________________

n : Némesis destruirá la tierra.                                      ¬( q →s )

  Demostración :

  1 . ¬p ∨ q       Premisa

  2.  r                 Premisa

   3. ( p→s ) →¬r    Premisa

   4.  q→s

   5. ¬( p→s )

  6.  p∧¬s

  7.  p

  8. q

  9. s

  10. ¬s

  11.  s∧¬s

  12. ¬( q →s )