Dada la fórmula (Rab → Raa ∨ Rbb), se interpreta sobre Universo U=1,2,3,4, con R=(1,1), (1,2), (1,3), (2,4), (3,3), (4,2), y los elementos para a y b que se indican en las opciones. Marque todas las opciones que completan esta interpretación y satisfacen la fórmula.
a) a=1, b=4
b) a=1, b=2
c) a=2, b=4
d) a=4, b=2
e) a=1, b=3
∀x (Px ∧ Qx) se interpreta sobre el universo . Marque todas las elecciones para P y Q que satisfacen la fórmula.
a)
b)
c)
d)
e)
∀x (Rax ∧ (Rxa → Rxx)) se intepreta sobre el universo . Marque todas las interpretaciones para a y R que satisfacen la fórmula.
a) a=1, R relación vacía (ningún elemento relacionado con otro)
b)
c)
d)
e)
∀x ∀y (Rxy → ¬ Rxy ∧ Ryy) se interpreta sobre un universo . Marque las interpretaciones de R en ese universo que satisfacen la fórmula.
a) R relación vacía (ningún elemento relacionado con otro)
b)
c)
d)
e)
∀x ∀y ∀z (Rxy ∧ Ryz → Rxz) se interpreta sobre un universo . Escoja las interpretaciones para R que satisfacen esa fórmula.
a)
b)
c)
d) R relación vacía (ningún elemento relacionado con otro)
e)
I) Dadas dos fórmulas lógicas e , ¿se cumplen las equivalencias siguientes?:
a)
b)
c)
d) es tautología
II) La tabla de verdad de la fórmula es verdadera ¿en cuántas líneas?
Siendo las fórmulas:
Completa la frase siguiente con uno de los cuatro apartados entre paréntesis separados por comas:
es consecuencia de .....................