Logica predicativa y cuantificativa

1-Definir término y predicado.

Termino: es una expresión que se refiere a un único objeto, o es una variable que se puede sustituirse por una expresión que se refiere a un único objeto.Predicado: es lo que se atribuye o expresa de un objeto (termino).

2-Señalar los términos y predicados en las siguientes proposiciones:

A- Juan es el presidente denuestra clase.
(Juan es un termino y es el presidente es un predicado)
B- La escalera de mano es muy insegura.
(La escalera es un termino y es muy insegura es un predicado)
C- El que va al frente esel canciller.
(El es un termino y es el canciller es un predicado)
D- Este ejercicio es muy fácil.
(Este ejercicio es termino y es muy facil es el predicado)
E- Aquel objeto es una estrelladistante.
(Aquel objeto es el termino y distante es el predicado)

3-Simbolizar las siguientes proposiciones en lógica predicativa.

A- El rayo de luz se retracta.
Rr

B- Carolina esta estudiando.Ec

C- Si Antonia esta aquí, entonces puede empezar la asamblea.
Ea

C- Aristóteles fue el maestro de Alejandro magno.
Faa

4- Definir cuantificadores: universal y existencial. Notación

•Cuantificador universal: es el antepuesto a una variable para decir “por todo” elemento de un cierto conjunto se cumple la proposición dada continuación.

Se usa el símbolo

• Cuantificadorexistencial:

Se usa el símbolo


Es el antepuesto a una variable para decir que existe al menos un elemento del conjunto al que hace referencia la variable.

5- Mencione las expresiones paraindicar un cuantificador universal.

Expreciones más comúnmente utilizadas para expresar el cuantificador universal:

Para cada x. . . . . .
Cada. . . . . . .
Para todo x. . . . . .
Todo. . .. . .
Cualquiera. . . . . .

6- Mencione las expresiones para indicar simultáneamente un cuantificador universal y una negación.

Expresiones mas comunes utilizadas para expresar a la vez un...