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 de nuestra 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 es el 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 estrella distante.
(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 estaestudiando.
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

• Cuantificador existencial:

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 para indicar 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 [continua]

Leer Ensayo Completo

Cite este ensayo

APA

(2010, 07). Logica predicativa y cuantificativa. BuenasTareas.com. Recuperado 07, 2010, de http://www.buenastareas.com/ensayos/Logica-Predicativa-y-Cuantificativa/503146.html

MLA

"Logica predicativa y cuantificativa" BuenasTareas.com. 07 2010. 2010. 07 2010 <http://www.buenastareas.com/ensayos/Logica-Predicativa-y-Cuantificativa/503146.html>.

MLA 7

"Logica predicativa y cuantificativa." BuenasTareas.com. BuenasTareas.com, 07 2010. Web. 07 2010. <http://www.buenastareas.com/ensayos/Logica-Predicativa-y-Cuantificativa/503146.html>.

CHICAGO

"Logica predicativa y cuantificativa." BuenasTareas.com. 07, 2010. consultado el 07, 2010. http://www.buenastareas.com/ensayos/Logica-Predicativa-y-Cuantificativa/503146.html.