PENSAMIENTO LGICO Y MATEMTICO

Actividad Individual - momento intermedio

Presentado por:
Marlon David Palacios Ortiz
C.C: 1076380916

Grupo: 200611-109

Presentado a:
LADY JOHANNA ROSERO

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
TECNOLOGIA EN SISTEMAS DE COMUNICACIONES INALAMBRICAS
JULIO DE 2016
Crtegui

CUANTIFICADORES Y PROPOSICIONES CATEGRICAS.

Cuantificadores
Los cuantificadores son smbolos utilizados para indicar cuntos o qu tipo de elementos de un
conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cuantificadores, entre los
ms utilizados estn:

Cuantificador universal ()
Cualquier cuantificador de la forma para todo, todo, para cada, o cada, se llama
Cuantificador universal y se simboliza por .

Ejemplo:
(x =1) / (x + 4 = 4 + x) significa que todo "x" verifica la ecuacin
Nota: esta expresin se lee de la siguiente manera para todo x =1 se verifica que x + 4 = 4 + x".

Cuantificador existencial ()
Los cuantificadores de la forma existe por lo menos uno, se llaman
Cuantificadores existenciales y se representan as: .

Ejemplo:
(x = 1) / (2x + 3 = 5) significa que para x = 1 verifica la ecuacin

Nota: esta expresin se lee de la siguiente manera existe por lo menos uno x =1 se verifica que
2x + 3 = 5".

Proposiciones categricas

Una Proposiciones categricas es un enunciado que consta de dos

Proposiciones las cuales actan una como sujeto y otra como predicado.

Ejemplos:

Ningn soltero es casado

Algunos mazdas no Son fabricados en Japn

Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma de lgica,
conocida como aristotlica, tradicional, o de silogismos categricos.
Existen cuatro clases de proposiciones categricas. Usando S y P como smbolos,
estas son:

Proposicin categrica

Representacin

Universal afirmativa

Todos S son P

Universal negativa

Ningn S es P

Particular afirmativa

Algunos S son P

Particular negativa

Algunos S no son P

Ejemplos:

Todos los poetas son filsofos

Ningn poeta es filsofo

Algunos poetas son filsofos

Algunos poetas no son filsofos

Representacin de las proposiciones categricas

Representacin de las proposiciones categricas

Presentacin de los cuatro tipos de proposiciones categricas

Caso 1: Todo S es P.

La parte del crculo S que esta fuera de P representa todos los S que no son P Todo S es P
Escritura en Forma Lgica: (x) (SxPx)

Caso 2: Ningn S es P o ningn P es S.

La parte comn de los dos crculos representa la interseccin o producto de las dos clases SP
Ningn S es P
Ningn P es S
Escritura en Forma Lgica: (x) (SxPx)

Caso 3: Algn S es P o algn P es S

Algn S es P
Algn P es S
Escritura en Forma Lgica: (x)(Sx Px)

Caso 4: Algn S no es P

Algn S no es P
Escritura en Forma Lgica: (x) (Sx Px)

Algn P no es S
Escritura en Forma Lgica: (x) (Px Sx)

Clasificacin de las proposiciones categricas

A continuacin profundizamos en la representacin de las cuatro formas estndar de

proposiciones categricas:

Proposicin Categrica Universal Afirmativa

"Todos los conductores de automviles que no son seguros son personas temerarias que ponen en
peligro la vida de los dems"
Ejemplo:
Si examinamos detenidamente la proposicin categrica anterior, nos podemos dar cuenta de que
este se compone de 2 proposiciones:
1. Los conductores de automviles inseguros

2. Personas temerarias que ponen en peligro la vida de los dems

Vemos entonces que existe una predicado y un sujeto

P: Los conductores de automviles inseguros

S: Personas temerarias que ponen en peligro la vida de los dems

De esta manera concluimos que:

Todo S es P
Proposicin Categrica Universal negativa

Todos los conductores de automviles son responsables y no son personas temerarias que
arriesgan la vida de los dems.

Ejemplo:

En este nuevo caso nos damos cuenta otra vez que

la proposicin categrica anterior la compone de 2 proposiciones:

1. conductores responsables
2. Personas temerarias

Vemos entonces que existe una predicado y un sujeto

S: conductores responsables
P: Personas temerarias

De esta manera concluimos que:

Ningn S es P

Proposicin categrica afirmativa particular

Algunos estudiantes van del colegio a la universidad.

Analicemos el ejemplo:

Este nuevamente se compone de 2 proposiciones:

1. Estudiantes de colegio
2. Estudiantes de universidad

Vemos entonces que existe una predicado y un sujeto

S: Estudiantes de colegio
P: Estudiantes de universidad

As concluimos que:

Algn S es P

Proposiciones categricas Negativa Particular

algn nmero real no es positivo.

Analicemos el ejemplo:

Este nuevamente se compone de 2 proposiciones:

1. Nmero real
2. Nmero negativo

Vemos entonces que existe una predicado y un sujeto

S: Numero negativo
P: Nmero real

As concluimos que:

Algn S no es P

Cada una de ellas cuenta con una cualidad y una cantidad

Entendindose por cualidad su condicin [positivas o negativas] 0 [afirmacin o negacin]
Entendindose por cantidad su condicin [universal o particular] 0 [todos o algunos]
Leccin No. 15 Proposiciones contradictorias, contrarias, de contingencia y
subcontrarias.

Proposiciones contradictorias
Dos proposiciones son CONTRADICTORIAS si una de ellas es la negacin de la otra.

Ejemplo 1

Dadas las proposiciones

P: todos los jueces son abogados

Q: algunos jueces no son abogados

Ejemplo 2

Dadas las proposiciones

P: hoy es lunes
Q: hoy no es lunes.

Proposiciones contrarias
Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas, aunque
ambas puedan ser falsas.

Ejemplo

Considerando las proposiciones

P: Paola es mayor que Anglica
Q: Anglica es mayor que Paola

Ejemplo

Dadas las proposiciones:

P: todos los nmeros enteros son positivos

Q: algunos enteros son positivos
R: todos los enteros son negativos

Una proposicin que no es necesariamente verdadera ni necesariamente falsa se llama

CONTINGENTE.

Ejemplo

P: todos los matemticos son filsofos

Ejemplo

Q: todos los cuadrados son rectngulos.

Problema:
El organizador del Congreso Nacional de Matemticas ha invitado a un viejo colega para que sea
ponente en la lnea de Ecuaciones Diferenciales. scar no lleg a tiempo para su ponencia y en
su afn de salvar la situacin le comenta lo siguiente a Andrs el organizador del evento: Como
vivo en un lugar muy retirado, entonces debo desplazarme en un viaje de 7 horas por tierra para
llegar a cumplir con la ponencia en el evento. Es as que, cuando viajo en avin me mareo.
Siempre que me da mareos, me entra un fuerte dolor de cabeza. As pues, siempre que me entra
un fuerte dolor de cabeza, viajo. El organizador del Congreso de Matemticas pensar que es
correcta la justificacin por el retraso o scar se contradice o no hay sentido en lo que expresa?

Solucin:
p) Oscar viaja
q) Le da mareo
r) Sufre dolor de cabeza
Si viajo entonces me da mareo. Siempre que me da mareo entonces me da dolor de cabeza.
[(pq) ^ (qr)] (rp)

Para la construccin de nuestra tabla de verdad debemos tener en cuenta que son 3 proposiciones
3
por lo tanto son 2 =8 combinaciones posibles de verdad. As tenemos que:

1
2
3
4

p
V
V
V
V

q
V
V
F
F

r
F
V
F
V

pq
V
V
F
F

^
V
F
F
F

qr
V
F
V
V

rp
V
V
V
V

5
6
7
8

F
F
F
F

V
V
F
F

F
V
F
V

V
V
V
V

V
F
V
V

V
F
V
V

F
V
F
V

Definimos entonces por el resultado de la tabla de verdad que la conclusin es una contingencia,
puesto que la proposicin puede ser verdadera o falsa.

Evidencia del uso del Simulador Truth: