PUERTA | GATE-CS-2017 (Conjunto 1) | Pregunta 22
Considere la oración lógica de primer orden F: ∀ x (∃ y R(x,y)). Suponiendo dominios lógicos no vacíos, ¿cuáles de las siguientes oraciones están implícitas en F? I. ∃y (∃x R(x,y)) II. ∃y (∀x R(x,y)) tercero ∀y (∃x R(x,y)) IV. ∼∃x (∀y R(x,y)) (A) IV solamente (B) I y IV solamente (C) II solamente (D) … Continue reading «PUERTA | GATE-CS-2017 (Conjunto 1) | Pregunta 22»