Pregunta: Marca todas las afirmaciones que sean verdaderas: A. Inverso y converso son lógicamente equivalentes. B. El contrapositivo es el inverso del inverso. C. La negación de una conjunción es la disyunción de las negaciones. D. La cuantificación universal restringida al dominio es lógicamente equivalente a la cuantificación universal no restringida de un

Marca todas las afirmaciones que sean verdaderas:

A. Inverso y converso son lógicamente equivalentes.
B. El contrapositivo es el inverso del inverso.
C. La negación de una conjunción es la disyunción de las negaciones.
D. La cuantificación universal restringida al dominio es lógicamente equivalente a la cuantificación universal no restringida de un condicional.
E. Un condicional es falso cuando tanto la premisa como la conclusión son falsas.
F. Es posible definir la disyunción usando solo negaciones y conjunciones.
G. (p?q)?(p?¬q) es una contradicción.
H. (p?q)?(p?¬q) es una tautología.
I. La cuantificación existencial restringida al dominio es lógicamente equivalente a la cuantificación existencial no restringida de un condicional.
J. Un predicado es una función con valor proposicional.