PROPOSICIONES

En el idioma cientfico, una proposicin se refiere a un enunciado que puede ser verdadero o falso, generalmente una oracin enunciativa, base de lo que constituye el lenguaje formal de la lgica simblica. Una proposicin lgica es Expresin enunciativa a la que puede atribuirse un sentido o funcin lgica de verdad o falsedad. Aunque existen lgicas polivalentes, en orden a la claridad del concepto, aqu consideramos nicamente el valor de Verdad o Falsedad. Otro tipo de entes que se utilizan en computacin que tambin est asociado a dos opciones, es lo que se conoce como expresiones booleanas. Estas expresiones, que deben su nombre a George Boole, se pueden ver caracterizadas como verdaderas falsas y de acuerdo a esta condicin se desarrolla el estudio sobre dichos conceptos. Este tema se conoce como clculo de proposiciones. Un enunciado lingstico (generalmente en la forma gramatical de una oracin enunciativa) puede ser considerado como proposicin lgica cuando es susceptible de ser verdadero o falso. Es de noche.Son A ,Ante ,bajo ,con ,contra ,de ,desde ,durante ,en ,entre ,hacia ,hasta ,para ,por ,segun ,sin ,sobre y tras. Los argumentos son una de las formas ms comunes en matemticas, en lgica y en computacin de establecer razonamientos para llegar a la verdad. Si tenemos un conectivo lgico OR de dos valores de entrada y despus un inversor, cul es la salida. O si en un programa con una instruccin tipo if se tiene la condicin X > 3 and X < 10 cmo se sabe si se ejecut el comando.

Desarrollo.
La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad.

Proposiciones y operaciones l gicas.

Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero

no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha. Ejemplo. p: La tierra es plana. q: 17 + 38 = 21 r: x > y-9 s: El Morelia ser campen en la presente temporada de Fut-Bol. t: Hola como estas? w: Lava el coche por favor. Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposicin del inciso s tambin esta perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.

Conectivos l gicos y proposiciones compuestas.

Existen conectores u operadores lgicas que permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son: Operador and (y) Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Si smbolo es: {, un punto (.), un parntesis}. Se le conoce como la multiplicacin lgica: Ejemplo. Sea el siguiente enunciado El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera Sean: p: El coche enciende. q: Tiene gasolina el tanque. r: Tiene corriente la batera. De tal manera que la representacin del enunciado anterior usando simbologa

lgica es como sigue: p=qr Su tabla de verdad es como sigue: qrp=qr 111 100 010 000 Donde. 1 = verdadero 0 = falso En la tabla anterior el valor de q=1 significa que el tanque tiene gasolina, r=1 significa que la batera tiene corriente y p = q r=1 significa que el coche puede encender. Se puede notar que si q o r valen cero implica que el auto no tiene gasolina y que por lo tanto no puede encender. Operador Or (o) Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se eindica por medio de los siguientes smbolos: {,+,}. Se conoce como las suma lgica. Ejemplo. Sea el siguiente enunciado Una persona puede entrar al cine si compra su boleto u obtiene un pase. Donde. p: Entra al cine. q: Compra su boleto. r: Obtiene un pase. qrp=qr 111 100 010 000 qr La nica manera en la que no puede ingresar al cine (p=0), es que no compre su boleto (q=0) y que no obtenga un pase (r=0). p =q r 111 101 011 000

Operador Not (no) Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador not se obtendr su complemento o negacin (falso). Este operador se indica por medio de los siguientes smbolos: {, ,-}. Ejemplo. La negacin de est lloviendo en este momento (p=1), es no est lloviendo en este momento (p=0) p p 10 01 Adems de los operadores bsicos (and, or y not) existe el operador xor, cuyo funcionamiento es semejante al operador or con la diferencia en que su resultado es verdadero solamente si una de las proposiciones es cierta, cuando ambas con verdad el resultado es falso. En este momento ya se pueden representar con notacin lgica enunciados ms complejos. Ejemplo Sean las proposiciones: p: Hoy es domingo. q: Tengo que estudiar teoras del aprendizaje. r: Aprobar el curso. El enunciado: Hoy es domingo y tengo que estudiar teoras de aprendizaje o no aprobar el curso. Se puede representar simblicamente de la siguiente manera: p q r Por otro lado con ayuda de estos operadores bsicos se pueden formar los operadores compuestos Nand (combinacin de los operadores Not y And), Nor (combina operadores Not y Or) y Xnor (resultado de Xor y Not). PROPOSICIONES. Como se menciono en el capitulo anterior, en computacin se utiliza la representacin binaria porque aparecen solo dos elementos distintos. El trabajar con solo 2 opciones facilita la implementacin de los conceptos. Otro tipo de entes que se utilizan en computacin tambin esta asociado a dos opciones, es lo que se conoce como expresiones booleanas. Estas expresiones, que deben su nombre a George Boole, se pueden ver caracterizadas como verdaderas falsas y de acuerdo a esta propiedad se desarrolla el estudio sobre dichos conceptos.

Empezaremos por clasificar las expresiones del lenguaje, distinguiendo lo que se puede considerar entre las experiencias booleanas y las que no. EXPRESIONES: Proposiciones lgicas EXPRESIONES BOLEANAS: Proposiciones abiertas

Frases indeterminadas
PROPOSICIN LGICA. Es cualquier expresin que puede ser verdadera o falsa pero nunca ambas. PROPOSICIN ABIERTA Una expresin que contiene una o mas variables y al sustituir las variables por valores especficos se obtienen una proposicin lgica. FRASES Son las que no sean proposiciones lgicas o proposiciones abiertas son frases. Ejemplo i) Mxico est en Amrica ii) 1 < 2 iii) Hoy es lunes iv) x+3=5 v) Ecosistemas vi) Buenos das vii) El 3 de abril de 1970 fu domingo Proposicin Lgica Proposicin Lgica Proposicin Abierta Proposicin Abierta Frase Frase Proposicin Lgica

viii) Los cocodrilos pueden volar ix) Las matemticas son agradables x) Esta expresin es falsa

Proposicin Lgica Proposicin Abierta Frase