En Lógica Proposicional, dados P y P → Q, podemos inferir __________.
(A) ~ Q
(B) Q
(C) P ∧ Q
(D) ~ P ∧ Q
Respuesta: (B)
Explicación: La regla de lógica de inferencia que establece que si un enunciado condicional («si p entonces q») es aceptado, y el antecedente (p) se cumple (es decir, P y P → Q), entonces se puede inferir el consecuente (q).
Para obtener más información sobre lógica de inferencia, consulte: Matemáticas | Reglas de inferencia
La opción Q es correcta.
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