Lógica matemática
  • 1. ¿Qué es una tautología?
A) Una proposición no demostrable
B) Una proposición con variable indefinida
C) Una proposición con elipsis
D) Una proposición siempre verdadera
  • 2. ¿Cómo se representa la implicación lógica en lógica proposicional?
A) ↔
B) ¬
C) ∨
D) →
  • 3. ¿Cuál es el principio en lógica que establece que una afirmación no puede ser verdadera y falsa al mismo tiempo?
A) Principio de identidad
B) Principio de tercium non datur
C) Principio de no contradicción
D) Principio del tercero excluido
  • 4. ¿En qué consiste el Modus Ponens?
A) Si P implica Q, y P es verdadero, entonces Q es verdadero
B) Si P implica Q, y P es falso, entonces Q es falso
C) Si Q implica P, y P es verdadero, entonces Q es verdadero
D) Si P implica Q, y Q es verdadero, entonces P es verdadero
  • 5. ¿Cuál es el símbolo utilizado para la disyunción exclusiva?
A) ⊕
B) ∧
C) →
D) ∨
  • 6. ¿Qué es un enunciado lógico en matemáticas?
A) Una lista de conceptos matemáticos
B) Una proposición sin validez lógica
C) Una afirmación que es verdadera o falsa, pero no ambas
D) Una serie de ecuaciones sin resolver
  • 7. ¿Quién es considerado el fundador de la lógica simbólica moderna?
A) Alfred Tarski
B) Gottlob Frege
C) Aristóteles
D) George Boole
  • 8. ¿Qué es la inducción matemática?
A) Método de prueba matemática que se utiliza para demostrar que una afirmación es verdadera para todos los números naturales
B) Método probabilístico en matemáticas
C) Método de prueba matemática que se usa para ecuaciones algebraicas
D) Método de demostración utilizado solo en geometría
Examen creado con That Quiz — donde la práctica de matemáticas se hace fácil.