Leccin No. 11 Cuantificadores Leccin No. 12 Proposiciones categricas Leccin No. 13 Representacin de las proposiciones categricas Leccin No.

14 Clasificacin de las proposiciones categricas Leccin No. 15 Proposiciones contrarias, de contingencia y subcontrarias

Hasta ahora hemos estudiado proposiciones que solo se les puede asignar un valor de verdad, ya sea falso o verdadero. En etapa que iniciamos estudiaremos las proposiciones abiertas; Iniciemos definiendo las proposiciones abiertas. Proposiciones abiertas: Una proposicin abierta es una expresin que contiene una variable X y que se convierte 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 , se tiene que x + 1 = 2. Proposicin falsa

Veamos la representacin simblica de estas dos expresiones es la siguiente:

1. 2.

Verdadera Falsa

Simblicamente, en el primer caso el cuantificador recibe el nombre de cuantificador existencial, pues est informando que existe un slo valor para X que hace verdadera la proposicin dada.

Mientras que en el segundo caso el cuantificador se llama cuantificador universal porque afirma que todos los valores de X diferentes de 1 hacen la proposicin falsa, es decir, que un valor de X diferente de 1 convierte x + 1 = 2 en proposicin falsa.

Leccin No. 11 Cuantificadores 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.

Leccin No. 12 Proposiciones categricas

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 Universal afirmativa: Todo S es P

Proposicin Categrica Universal negativa: Ningn S es P Proposiciones categricas Particular afirmativa: Algn S es P Proposiciones categricas Particular negativa: Algn S no es P Ejemplos:

Todos los poetas son filsofos Ningn poeta es filsofo Algunos poetas son filsofos Algunos poetas no son filsofos

Proposicin categrica Universal afirmativa Universal negativa Particular afirmativa Particular negativa

Representacin Todos S son P Ningn S es P Algunos S son P Algunos S no son P

Leccin No. 13 Representacin de las proposiciones categricas