Taller 3Q 1


Taller lógica de predicados
Curso: Lógica y Argumentación
Profesora: Lucía Velasco1. Preguntas generales. Califique como verdadero o falso, justifique las respuestas falsas:

a. Al igual que en lalógica proposicional, en la lógica de predicados se puede distinguir entre sujeto y predicado en las proposiciones que componen un razonamiento ( ) _______________________________________________________________________________________________.
b. En la lógica de predicados se puede definir una fórmula satisfacible, pero no una tautología ()____________________________________________________________________
_______________________________________________________________________________.
c. En la lógica de predicados el conjunto dominio contiene todos los valores posibles de lostérminos de los predicados en consideración( )________________________________________
________________________________________________________________________________.
d. En la lógica de predicadosuna fórmula carece de sentido cuando se le asigna el valor de falso ( )________________________________________________________________________________________________________________________________________________________.
e. En la lógica de predicados el conjunto dominio contiene todos los valores posibles de los términos (variables y constantes) de los predicados considerados ()______________________
_______________________________________________________________________________.
f. A diferencia de la lógica proposicional, en la lógica de predicados el número de las posiblesinterpretaciones de una fórmula es finita ( ) _________________________________________
_______________________________________________________________________________.
g. En la lógica de predicados...