¿Cuál de las siguientes afirmaciones es verdadera?
(A) La proposición S es una consecuencia lógica de S 1 ,…, S n si y sólo si S 1 ∧ S 2 ∧…….. ∧
S n → S es satisfecha.
(B) El enunciado S es una consecuencia lógica de S 1 ,…, Sn si y sólo si S 1 ∧ S 2 ∧…….. ∧S n → S es válido.
(C) El enunciado S es una consecuencia lógica de S 1 ,…, S n si y sólo si S 1 ∧ S 2 ∧…….. ∧
S n ∧ S es consistente.
(D)El enunciado S es una consecuencia lógica de S 1 ,…, S n si y sólo si S 1 ∧ S 2 ∧…….. ∧
S n ∧ S es inconsistente.
Respuesta: (B)
Explicación:
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