Lección No. 11 Cuantificadores Lección No. 12 Proposiciones categóricas Lección No. 13 Representación de las proposiciones categóricas Lección No.

14 Clasificación de las proposiciones categóricas Lección 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 proposición abierta es una expresión que contiene una variable X y que se convierte en una proposición cerrada cuando X se sustituye por un valor determinado. Ejemplo: La proposición se puede enunciar de las siguientes formas:

1. Existe x = 1 tal que x + 1 = 2. Proposición verdadera 2. Para todo , se tiene que x + 1 = 2. Proposición falsa

Veamos la representación simbólica de estas dos expresiones es la siguiente:

1. 2.

Verdadera Falsa

Simbólicamente, en el primer caso el cuantificador recibe el nombre de cuantificador existencial, pues está informando que existe un sólo valor para X que hace verdadera la proposición dada.

que un valor de X diferente de 1 convierte x + 1 = 2 en proposición falsa. entre los más utilizados están: Cuantificador universal (∀ ) Cualquier cuantificador de la forma para todo. 11 Cuantificadores Cuantificadores Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo de elementos de un conjunto dado cumplen con cierta propiedad. Lección No. Ejemplo: (∀x =1) / ( x + 4 = 4 + x ) significa que todo X verifica la ecuación Nota: esta expresión se lee de la siguiente manera “ para todo x =1 se verifica que x + 4 = 4 + x. es decir. o cada se llama Cuantificador universal y se simboliza por “"”. todo. Cuantificador existencial (Ǝ ) Los cuantificadores de la forma existe por lo menos uno. . para cada. se llaman cuantificadores existenciales y se representan así: “$”. Existen muchos tipos de cuantificadores.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 proposición falsa. Ejemplo: (Ǝx = 1) / ( 2x + 3 = 5 ) significa que para X = 1 verifica la ecuación Nota: esta expresión se lee de la siguiente manera “existe por lo menos uno x =1 se verifica que 2x + 3 = 5.

Ejemplos: Ningún soltero es casado Algunos mazdas no Son fabricados en Japón Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma de lógica. tradicional. Existen cuatro clases de proposiciones categóricas.Lección No. conocida como aristotélica. Usando “S” y “P” como símbolos. 12 Proposiciones categóricas Proposiciones categóricas Una Proposiciones categóricas es un enunciado que consta de dos Proposiciones las cuales actúan una como sujeto y otra como predicado. o de silogismos categóricos. estas son: Proposición Categórica Universal afirmativa: Todo S es P Proposición Categórica Universal negativa: Ningún S es P Proposiciones categóricas Particular afirmativa: Algún S es P Proposiciones categóricas Particular negativa: Algún S no es P Ejemplos: Todos los poetas son filósofos Ningún poeta es filósofo Algunos poetas son filósofos Algunos poetas no son filósofos Proposición categórica Universal afirmativa Universal negativa Particular afirmativa Particular negativa Representación Todos S son P Ningún S es P Algunos S son P Algunos S no son P .

Lección No. 13 Representación de las proposiciones categóricas .

Sign up to vote on this title
UsefulNot useful