PENSAMIENTO LÓGICO Y MATEMATICO

PRESENTADO POR: CARLOS FABIAN REYES

GRUPO: 200611_1180

TUTOR: MARIA ANDREA BOTERO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
 EJERCICIO 1: CONCEPTUALIZACIÓN DE
CUANTIFICADORES Y PREPOSICIONES

• CUANTIFICADORES:
son expresiones que indican la cantidad de veces que un predicado o
propiedad se satisface dentro de una determinada clase (por ejemplo:
pertenecía, equivalencia u orden) existen varios tipos de
cuantificadores, entre los más utilizados están: cuantificador universal:
se utiliza para decir “para todo” para todo S es P, cuantificador
existencial: se utiliza para decir que al menos un S pertenece a P.
EJERCICIO 1: CONCEPTUALIZACIÓN DE
CUANTIFICADORES Y PREPOSICIONES
• PROPOSICIONES CATEGÓRICAS:

el estudio clásico o aristocrático de la deducción está centrado en

argumentos que contienen solamente proposiciones de un tipo especial,
llamadas proposiciones categóricas. El tipo especial se refiere a que las
proposiciones pueden ser: universales (afirmativas o negativas) o
particulares (afirmativas o negativas). Por lo tanto se puede afirmar que
hay 4 formas estándar de proposiciones categóricas.
En una proposición categórica pueden encontrarse 2 términos sujeto y
predicado, las proposiciones de este tipo están referida a clases
afirmando o negando que una clase S pertenezca a la clase P total o
parcialmente.
 Afirmativa Negativa

Universal : todo hombre es Universal: ningún hombre es

mortal (todo S es P ) mortal(ningún S es P)

Particular : algún hombre es Particular: algún hombre no es

mortal (algún S es P) mortal(algún S no es P)

 Ejemplo: Conceptualización de
Cuantificadores y preposiciones

El cuantificador Universal ‘’TODO’’ se le denota con el símbolo ", que es

una A invertida.
Al cuantificar a la función proposicional P(x) mediante el cuantificador
universal obtenemos la proposición:
Para todo elemento x de A, P(x), que se simboliza del modo siguiente:
(∀x€A) (P(x))
Ejemplo: Todo elemento x de A pertenece a
B: ∀x€A → x€B Otras maneras de leer la proposición:
• Para cada x en A, P(x)
• Cualquiera que sea x en A, p(x)
• P(x), para cada x en A
• P(x), para todo x en A
 Ejemplo: Conceptualización de
Cuantificadores y preposiciones
Proposición categórica Indica que no existen elementos de S que
universal afirmativa: no pertenezcan a P. Todo S es P.
S ∩ P’ = φ
Todo S es P

Todo
hombre es
mortal.