PROPOSICIONES ABIERTAS:

Anteriormente, se dijo: una proposicin cerrada es un enunciado que, con todo sentido se puede clasificar como verdadero o falso. Ahora consideremos otro tipo de proposiciones, por ejemplo: 1. 2. 3. 4. En estos casos no es posible decir si lo que se enuncia es verdadero o falso porque nada se ha dicho con respecto al valor de x. En los ejemplos dados se tiene que 1. 2. 3. 4. Es verdadera para x=5 y falsa para los dems valores de x. Es verdadera para x=6 o -1 y falsa para los dems valores de x. Es verdadera para todo x y falsa en ningn caso. Es falsa para todo x y verdadera en ningn caso.

Estas expresiones se llaman proposiciones abiertas. Antes de definir lo que es una proposicin abierta, daremos las definiciones de constante y variable. Definicin: Una constante es un elemento fijo de un conjunto dado. Definicin: Una variable es un smbolo que aparece en una proposicin y que puede ser sustituido por un elemento cualquiera Universal U dado. Las variables se representan comnmente, pero no exclusivamente, por las ultimas letras del alfabeto : x, y, z. Definicin de proposicin abierta: 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. Observacin Las proposiciones abiertas pueden contener dos o ms variables pero, para mejor comprensin comenzaremos considerando el caso de una sola variable. Cuando nos encontramos con el problema de asignar valores a x, debemos primero decidir cuales son los valores permisibles de x. Esto es, debemos determinar un conjunto de nmeros, de figuras geomtricas, de personas, etc. que constituyen el sujeto de nuestro discurso. Este conjunto se llama conjunto universal y se suele representar por U. Si x aparece ms de una vez en una proposicin abierta dada, se debe sustituir, cada vez, por un mismo elemento de U. Cuando efectuamos tal sustitucin, decimos que hemos dado un valor a x. Conjunto de soluciones Definicin: el conjunto de soluciones de una proposicin abierta es el conjunto de los elementos del conjunto Universal U que, cuando sustituyen a x, convierten la proposicin abierta en una proposicin cerrada verdadera. Observaciones: 1. Escribiremos el conjunto de soluciones en la forma

Donde es la proposicin abierta dada. Generalmente el conjunto Universal U es evidente por el contexto pero, en caso de duda, escribiremos expresiones como

de donde se implica que U es el conjunto de los enteros. 2. En trabajos ms formales utilizaremos notaciones de la forma px, qx, rx, etc. para representar proposiciones abiertas en la variable x. El conjunto de soluciones de px se representara por P o 3. Si la proposicin abierta es una ecuacin que se verifica para todos los valores de x, se llama identidad. En este caso escribiremos P=U Por ejemplo, =U 4. El proceso de resolver una ecuacin (como se dice usualmente) es el mismo de encontrar el conjunto de soluciones de una proposicin abierta que esta expresada en forma de ecuacin. PROPOSICIONES ABIERTAS EQUIVALENTES: Definicin: Dos proposiciones abiertas px y qx son equivalentes si y solo si sus conjuntos de soluciones son iguales, esto es, si P=Q. Cuando px y qx son equivalentes, escribimos Ejemplo. Las proposiciones abiertas o =U

p : x + 5x = 6
2 x

q : x + 5x + 6 = 0
2 x

son equivalentes porque P = Q= {-2, -3}. Ejemplo. Las proposiciones abiertas px: x=2 y qx: x2=4 no son equivalentes porque P= {2} y Q= {-2,2} NEGACIONES: Definicin: La negacin de una proposicin abierta px es la proposicin abierta Es falso que

o una

proposicin abierta cualquiera equivalente a esta. Utilizamos el smbolo ~ px para representar la negacin de px.

Ejemplo. Sea U el conjunto de los enteros. Entonces, se pueden formar negaciones de la siguiente manera: Proposicin abierta Negacin

x 4 =0 x es un entero par
Taller

x 40
2

no es un entero par

x
a) Un ao tiene 13 meses. b) 3x2+1=0. c) 16x2-1= (4x+1) (4x-1). d)2 es un nmero primo.

es un entero impar.

1) Cuales de las siguientes proposiciones son cerradas y cuales son abiertas?

2) Encontrar los conjuntos de soluciones de las siguientes proposiciones abiertas. El conjunto universal U es el conjunto de los enteros. a) x+7=10. b) x2=36. c) x2-49=(x+7) (x-7) d) 3x=7. 3) Cules de los siguientes pares de proposiciones abiertas son equivalentes? El conjunto universal es el conjunto de los enteros. a)7x-4=2x+1 b) x2=9 c) x=6 o x= -6 d) x2-8x+15=0 e) (x+5) (x-5)=x2-9 x+1=2 x=3 x2=36 (x-3) (x-5)=0 (x+4) (x+4)= x2+16

PROPOSICIONES CERRADAS?
En matemticas, una teora es un conjunto de proposiciones cerradas bajo implicacin lgica en tu ejemplo, si estamos dentro de los enteros, las soluciones deben ser enteras, p.ej. 10 y 2 ; 7 y 5;etc. Dentro de los enteros la ecuacion 3*x = 15 tiene solucion (es cerrada para enteros) pero no 3*x = 14

PROPOSICIONES ABIERTAS
son palabras que sirven para relacionar vocablos; son particulas que generalmente se utilizan para subordinar. Se clacifican en: simples y frases prepositivas. Las simples son: a, ante, bajo, con, contra, de, desde, en, entre, hacia, hasta, por, para, segun, sin, so, sobre, tras. Ejemplo: Mariana se encontraba ANTE el espejo El billete estaba SOBRE la mesa. Las frases prepositivas son: alrededor de, antes de, atras de, cerca de, bajo de, dentro de, despues de, encima de, junto a. Sirven para precisar lo que se enuncia. Pueden estar formados por 1 adverbio y 1 preposicion. Ejemplo: El perro este DENTRO DE su casa. Su auto esta JUNTO A su casa. PREPOSICION A Expresa basicamente la idea de movimiento, material o figurado. PREPOSICION DE Se emplea principalmente para indicar 1)-posesion y pertenencia 2)-materia, asunto o contenido 3)-origen o procedencia 4)-modo 5)-tiempo PREPOSICION EN Se emplea para indicar: 1)- quietud, reposo o espacio 2)- tiempo 3)- el modo en frases adverbiales 4)- instrumento o precio. PREPOSICION PARA Se emplea para indicar: 1)- movimiento, direccion o sentido 2)- complemento indirecto 3)- tiempo 4)- finalidad PREPOSICION POR Se emplea para indicar: 1)- tiempo y lugar 2)- complemento agente en la voz pasiva 3)- indica medio 4)- complemento circunstancial de modo causa.

VALOR DE LA VERDAD LGICA PROPOSICIONAL

La lgica proposicional o lgica de orden cero trata con sistemas lgicos que carecen de cuentificadores, o variables interpretables como entidades. En lgica proposicional si bien no hay signos para variables de tipo entidad, s existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ah el nombre proposicional. La lgica proposicional incluye adems de variables interpretables como proposiciones simples signos para conectivas lgicas, por lo que dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples.1 Una lgica proposicional es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.2 NEGACIN LGICA En lgica y matemtica, la negacin, tambin llamada complemento lgico, es una operacin sobre proposiciones, valores de verdad, o en general, valores semnticos. Intuitivamente, la negacin de una proposicin es verdadera cuando dicha proposicin es falsa, y viceversa. En lgica clsica la negacin est normalmente identificada con la funcin de verdad que cambia su valor de verdadero a falso y viceversa. En Lgica intuicionista, de acuerdo a la interpretacin BHK, la negacin de una proposicin p es la proposicin cuyas pruebas son las refutaciones de p. En la semntica de Kripke, donde los valores semnticos de las frmulas son conjuntos de posibles mundos, la negacin de p, es su complemento. La negacin clsica es una operacin sobre un valor de verdad, tpicamente, el valor de una proposicin, que produce un valor de verdadero cuando su operando es falso, y un valor de falso cuando su operando es verdadero. Por tanto, si el

enunciado A es verdadero, entonces A (pronunciado "no A") sera consecuentemente falso; y lo contrario, si A es verdadero, entonces A sera falso. La tabla de verdad de p es la siguiente: Tabla de verdad de p p p Verdadero Falso Falso Verdadero La genacin clsica se puede definir en trminos de otras operaciones lgicas. Por ejemplo, p se puede definir como p F, donde "" es una implicacin lgica y F es una falsedad absoluta. Por el contrario, se puede definir F como p & p para cualquier proposicin p, donde "&" es una conjuncin lgica. La idea aqu es que cualquier contradiccin es falsa. Mientras estas ideas funcionan tanto en la lgica clsica como en la instuicionista, no funcionan en la lgica paraconsistente, donde las contradicciones no son necesariamente falsas. En lgica clsica tenemos una identidad adicional: p q se puede definir como p q, donde "" es la disyuncin lgica: "no p, o q". Algebraicamente, la negacin clsica corresponde con el complemento en un lgebra booleana, y la negacin intuicionista al seudocomplemento en un lgebra de Heyting. Estas lgebras proveen una semntica para las lgicas clsica e intuicionista respectivamente. Notacin La negacin de una proposicin p se denota dediferentes maneras en varios contextos y campos de aplicacin. Entre estas variantes, tenemos las siguientes: Notacin Vocalizacin no p no p no p ene p p prima , complemento de p p barra, barra p exclamacin p Independientemente de la notacin o smbolo utilizados, la negacin p / ~p se puede leer como "no es el caso que p", "no es cierto que p", o por lo comn, simplemente (aunque no gramaticalmente) como "no p". Propiedades Doble negacin Dentro de un sistema de lgica clsica, la doble negacin, esto es, la negacin de la negacin de una proposicin p, es lgicamente equivalente a p. Expresado simblicamente, (p) p. En lgica intuicionista, una proposicin implica su doble negacin, pero no al revs. Esto marca una importante diferencia entre la negacin clsica e intuicionista. Algebraicamente, la negacin clsica es llamada una involucin de periodo dos.

Sin embargo, en lgica intuicionista, s tenemos la equivalencia entre p y p. Es ms, en el caso proposicional, una oracin es demostrable de forma clsica, si su doble negacin es demostrable de manera intuicionista. Este resultado es conocido como el teorema de Glivenko. Distributiva ~ Linealidad En el lgebra de Boole, una funcin lineal es una funcin tal que: Si existe a0, a1, ..., an {0,1} tal que f(b1, ..., bn) = a0 (a1 b1) ... (an bn), para todo b1, ..., bn {0,1}. ~

Otra forma de expresar esto es que cada variable siempre cambia su valor de verdad de la operacin o nunca cambia. La negacin es un operador lgico lineal. Autodualidad En el lgebra de Boole, una funcin autodual es una funcin tal que: Si f(a1, ..., an) = ~f(~a1, ..., ~an) para todo a1, ..., an {0,1}. La negacin es un operador lgico de autodualidad. Reglas de inferencia Hay varias formas equivalentes entre s, de formular reglas para la negacin. Una forma usual de formular la negacin clsica, al establecer una deduccin natural, es tomar como reglas primitivas de inferencia:

Introduccin de la negacin (Si p implica a q y q, inferimos p; esta regla tambin se llama reductio ad absurdum), Eliminacin de la negacin (Dado p y p inferimos q; esta regla tambin se llama ex falso quodlibet), Eliminacin de la doble negacin (Dado p inferimos p).

Las reglas para negacin intuicionista se obtienen de la misma forma, pero excluyendo la eliminacin de la doble negacin. La introduccin de la negacin establece que si se puede obtener un absurdo como conclusin de p, entonces p no debe ser el caso (p es falso (clsico), o refutable (intuicionista), etc.). La eliminacin de la negacin establece que cualquier cosa se desprende de un absurdo. A veces, la negacin de la elimincacin es formulada usando el signo primitivo de absurdo . En este caso, la regla dice que dado p y p concluimos en un absurdity. Junto a la eliminacin de la doble negacin, se puede inferir la regla originalmente formulada, a saber, que cualquier cosa que se desprende de un absurdo. Tpicamente, la negacin intuicionista p de p se define como p. Entonces la introduccin de la negacin y la eliminacin son slo casos especiales de introduccin de la implicacin (prueba condicional) y eliminacin (modus ponens). En este caso, podemos tambin agregar como regla primitiva ex falso quodlibet.