Lógica de predicados

La Lógica de Predicados o Función Proposicional es:

• Toda frase declarativa que es una proposición que contiene mas de una variable.

• Toda frase declarativa que no es una proposición pero que contiene una o mas variables, que cuando se la reemplaza por los valores del universo se convierte en una proposición

• Toda frase declarativa que no es una proposición que se la puede transformar en proposición

El Universo del Discurso o Dominio es:

• Conjunto de valores que definen un problema matemático
• Conjunto de valores que pueden tomar las variables para los cuales el predicado tiene sentido

• Área de estudio de la lógica formal
• Conjunto de soluciones a un sistema de ecuaciones

p(x): "(2x + 1)² es un entero impar" ¿es una función proposicional?

• Veradero

• Falso

Sea el predicado P(x): "el número x es número par", el universo del discurso es el conjunto de todos los ....

En la siguiente proposición

s: "Ana y Juan son estudiantes que cursan la carrera de Ingeniería en Informática" las variables son:

• Ana y Juan

• Los estudiantes de la carrera de Ingeniería en Informática

• Los estudiantes

• VERDADERO

• FALSO

Para hacer alusión a la existencia de una persona o una cosa, cuya caracterización puede restringirse mediante complementos que denoten ciertas propiedades que debe cumplir, el cuantificador a utilizar es el

A un predicado con variables libres solo se le pueden asignar valores verdaderos una vez que se asignan valores a estas variables.

• VERDADERO

• FALSO

El universo de discurso es crucial para determinar la veracidad o falsedad de una fórmula lógica.

• VERDADERO

• FALSO