Professional Documents
Culture Documents
Introduccin
Hasta ahora hemos estudiado proposiciones que solo se les puede asignar un valor
de verdad, ya sea falso o verdadero; esto refirindome a todo lo que hemos visto
respecto a las tablas de verdad.
En esta etapa que iniciamos estudiaremos las proposiciones abiertas; Iniciemos d
efiniendo las proposiciones abiertas.
Proposiciones abiertas:
Una proposicin abierta es una expresin que contiene una variable "x" y que se conv
ierte en una proposicin cerrada cuando "x" se sustituye por un valor determinado.
Ejemplo:
La proposicin se puede enunciar de las siguientes formas:
1. Existe x = 1 tal que x + 1 = 2. Proposicin verdadera
2. Para todo x ? 1, se tiene que x + 1 = 2. Proposicin falsa
Ejemplo:
(?x =1) / ( x + 4 = 4 + x ) significa que todo "x" verifica la ecuacin
Nota: esta expresin se lee de la siguiente manera
que x + 4 = 4 + x".
Cuantificador existencial (? )
Los cuantificadores de la forma existe por lo menos uno, se llaman cuantificador
es 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
verifica que 2x + 3 = 5".
Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una form
a de lgica, conocida como aristotlica, tradicional, o de silogismos categricos.
Existen cuatro clases de proposiciones categricas. Usando
n:
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
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 )(Sx?Px)
Algn P no es S
Escritura en Forma Lgica: (?x)(Px ? Sx)
Analicemos el ejemplo:
Este nuevamente se compone de 2 proposiciones:
1. Estudiantes de colegio
2. Estudiantes de universidad
S: Estudiantes de colegio
P: Estudiantes de universidad
As concluimos que:
Algn S es P
S: Numero negativo
P: Nmero real
As concluimos que:
Algn S no es P
Proposiciones contrarias
Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas,
aunque ambas puedan ser falsas.
Ejemplo 1
Considerando las proposiciones
P: Paola es mayor que Anglica
Q: Anglica es mayor que Paola
Ejemplo 2
Dadas las proposiciones:
P: todos los nmeros enteros son positivos
Q: algunos enteros son positivos
R: todos los enteros son negativos
Proposiciones Subcontrarias
Se dice que dos proposiciones son subcontrarias si no pueden ser ambas falsas pe
ro s ambas verdaderas
Ejemplo 1
Las proposiciones
P: algunos enteros son positivos
Q: algunos enteros son negativos
Ejemplo 2
P: algunos ingenieros de sistemas son matemticos
Q: algunos ingenieros de sistemas no son matemticos
Proposicin Contingente
Una proposicin que no es necesariamente verdadera ni necesariamente falsa se llam
a CONTINGENTE.
Ejemplo 1
P: todos los matemticos son filsofos
Ejemplo 2
Q: todos los cuadrados son rectngulos