¿Cuál de las siguientes fórmulas de primer orden es lógicamente válida? Aquí α(x) es una fórmula de primer orden con x como variable libre, y β es una fórmula de primer orden sin variable libre.
(A) [β→(∃x,α(x))]→[∀x,β→α(x)]
(B) [∃x,β→α(x)]→[β→(∀x, α(x))]
(C) [(∃x,α(x))→β]→[∀x,α(x)→β]
(D) [(∀x,α(x))→β] →[∀x,α(x)→β]
Respuesta: (C)
Explicación:
Esta solución es aportada por Nitika Bansal .
Cuestionario de esta pregunta
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA