Quiz de Modus Ponens y Modus Tollens en lógica proposicional
5 Questions
9 Views

Choose a study mode

Play Quiz
Study Flashcards
Spaced Repetition
Chat to lesson

Podcast

Play an AI-generated podcast conversation about this lesson

Questions and Answers

¿Cuál es la definición del Modus Ponens?

  • Si se tiene una declaración condicional y se sabe que el antecedente es verdadero, entonces se puede concluir que el consecuente es verdadero. (correct)
  • Si se tiene una disyunción y una de las disyunciones es falsa, entonces la otra disyunción debe ser verdadera.
  • Si se tiene dos declaraciones condicionales, y el consecuente de la primera es igual al antecedente de la segunda, entonces se puede inferir una nueva declaración condicional.
  • Si se tiene una declaración condicional y se sabe que el consecuente es falso, entonces se puede concluir que el antecedente es falso.
  • ¿Cuál es la forma del Modus Tollens?

  • Si P entonces Q. Q es falso, por lo tanto, P es falso. (correct)
  • Si P entonces Q. P es verdadero, por lo tanto, Q es verdadero.
  • Si P entonces Q, Si Q entonces R, por lo tanto, si P entonces R.
  • P o Q. P es falso, por lo tanto, Q es verdadero.
  • ¿Cuál es la definición del Silogismo Hipotético?

  • Si se tiene una declaración condicional y se sabe que el antecedente es verdadero, entonces se puede concluir que el consecuente es verdadero.
  • Si se tiene dos declaraciones condicionales, y el consecuente de la primera es igual al antecedente de la segunda, entonces se puede inferir una nueva declaración condicional. (correct)
  • Si se tiene una declaración condicional y se sabe que el consecuente es falso, entonces se puede concluir que el antecedente es falso.
  • Si se tiene una disyunción y una de las disyunciones es falsa, entonces la otra disyunción debe ser verdadera.
  • ¿Cuál es la forma del Silogismo Disyuntivo?

    <p>P o Q. P es falso, por lo tanto, Q es verdadero.</p> Signup and view all the answers

    ¿Cuál es la forma del Modus Ponens?

    <p>Si P entonces Q. P es verdadero, por lo tanto, Q es verdadero.</p> Signup and view all the answers

    Study Notes

    Reglas de Inferencia

    • El Modus Ponens es una regla de inferencia que permite concluir una afirmación a partir de una premisa y una conclusión mediante la aplicación de una regla lógica.
    • La forma del Modus Ponens es la siguiente: Si P, entonces Q. P. ∴ Q.
    • El Modus Tollens es una regla de inferencia que permite concluir la negación de una premisa a partir de una condición y una conclusión que contradice la premisa.
    • La forma del Modus Tollens es la siguiente: Si P, entonces Q. No Q. ∴ No P.
    • El Silogismo Hipotético es una regla de inferencia que permite concluir una afirmación a partir de una premisa y una condición hipotética.
    • La definición del Silogismo Hipotético es la siguiente: Si P, entonces Q. Si Q, entonces R. ∴ Si P, entonces R.
    • El Silogismo Disyuntivo es una regla de inferencia que permite concluir una afirmación a partir de dos premisas que se encuentran en relación de disyunción.
    • La forma del Silogismo Disyuntivo es la siguiente: P o Q. No P. ∴ Q.

    Studying That Suits You

    Use AI to generate personalized quizzes and flashcards to suit your learning preferences.

    Quiz Team

    Description

    Quiz sobre Modus Ponens y Modus Tollens en lógica proposicional. Pon a prueba tus conocimientos sobre estas dos formas de razonamiento deductivo y comprueba si puedes aplicar correctamente las reglas para obtener conclusiones válidas.

    More Like This

    Use Quizgecko on...
    Browser
    Browser