LOGICA PROPORCIONAL En lgica y matemtica, la lgica proposicional es un sistema formal diseado para analizar ciertos tipos de argumentos.

En la lgica proposicional, las frmulas representan proposiciones y las constantes lgicas son operaciones sobre las frmulas que producen otras frmulas de mayor complejidad.[1] Como otros sistemas lgicos, la lgica proposicional intenta esclarecer nuestra comprensin de la nocin de consecuencia lgica para el rango de argumentos que analiza. Considrese el siguiente argumento: Maana es mircoles o maana es jueves. Maana no es jueves. Por lo tanto, maana es mircoles. Este es un argumento vlido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusin falsa. Esto no quiere decir que la conclusin sea verdadera. Si las premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas son verdaderas, entonces la conclusin tambin lo es. La validez de este argumento no se debe al significado de las expresiones "maana es mircoles" y "maana es jueves", porque stas podran cambiarse por otras y el argumento permanecer vlido. Por ejemplo: Est soleado o est nublado. No est nublado. Por lo tanto, est soleado. En cambio, la validez de estos dos argumentos depende del significado de las expresiones "o" y "no". Si alguna de estas expresiones se cambiara por otra, entonces podra ser que los argumentos dejaran de ser vlidos. Por ejemplo: Ni est soleado ni est nublado. No est nublado. Por lo tanto, est soleado. Las expresiones de las que depende la validez de los argumentos se llaman constantes lgicas. La lgica proposicional estudia el comportamiento de una variedad de estas expresiones. En cuanto a las expresiones como "est nublado" o "maana es jueves", lo nico que importa de ellas es que tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intencin es simbolizar una expresin con valor de verdad cualquiera. A estas letras se las llama variables proposicionales, y en general se toman del alfabeto latino, empezando por la letra p, luego q, r, s, etc. As, los dos primeros argumentos de esta seccin podran reescribirse as: poq No q Por lo tanto, p Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as: Ni p ni q No q Por lo tanto, p

Logica Proporcional
Lgica Proposicional La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando una representacin primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la conforman. La preposicin es la clase de palabra invariable que introduce el llamado sintagma preposicional. Las preposiciones generalmente tienen la funcin de introducir adjuntos, y en ocasiones tambin complementos obligatorios ligando el nombre o sintagma nominal al que preceden inmediatamente con un verbo u otro nombre que las antecede. En algunas lenguas las preposiciones pueden no encabezar un sintagma preposicional, como en ingls, donde incluso pueden aparecer al final de la frase. Considerando las distintas lenguas del mundo, la preposicin es un tipo de adposicin que se caracteriza por aparecer tpicamente al principio del constituyente sintctico al que afecta; as por ejemplo, la palabra equivalente que aparece detrs y no delante se llama postposicin.

Tradicionalmente, la gramtica del espaol la ha definido como la parte invariable de la oracin que une palabras denotando la relacin que tienen entre s.

En lgica, una conectiva lgica, o simplemente conectiva, es un smbolo que se utiliza para conectar dos frmulas, de modo que el valor de verdad de la frmula compuesta dependa del valor de verdad de las frmulas componentes. En programacin se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa. Las conectivas lgicas son, junto con los cuantificadores, las principales constantes lgicas de muchos sistemas lgicos, principalmente la lgica proposicional y la lgica de predicados. Conectivas Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un nico valor de verdad. En consecuencia, cada conectiva lgica puede ser definida mediante una tabla de valores de verdad que indique qu valor devuelve la conectiva para cada combinacin de valores de verdad. Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes.

TABLAS DE VERDAD Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos,como: no, o, y, sientonces, s y slo si, respectivamente. La interpretacin corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen un mtodo de decisin para chequear si una proposicin es o no un teorema. Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin cierta y 0 (cero) a una proposicin falsa. Negacin: El valor de verdad de la negacin es el contrario de la proposicin negada.

Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes.

Conjuncin: Solamente si las componentes de la conjuncin son ciertas, la conjuncin es cierta.

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad.

Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad.

Se denomina tautologa una proposicin que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la ltima columna de su tabla de verdad estar formada nicamente por unos. Contradiccin es la negacin de una tautologa, luego es una proposicin falsa cualesquiera sea el valor de verdad de sus componentes. La ltima columna de la tabla de verdad de una contradiccin estar formada nicamente por ceros. El lenguaje es una capacidad o facultad extremadamente desarrollada en el ser humano; es un sistema de comunicacin ms especializado que los de otras especies animales, a la vez fisiolgico y psquico, que pertenece tanto al dominio individual como al social, y que nos capacita para abstraer, conceptualizar, y comunicar. Segn Ferdinand Saussure, en el lenguaje humano estructurado debe diferenciarse entre lengua y habla: a) Lengua: llamada tambin idioma, especialmente para usos extralingsticos. Es un modelo general y constante para todos los miembros de una colectividad lingstica. Los humanos crean un nmero infinito de comunicaciones a partir de un nmero finito de elementos, por ejemplo a travs de esquemas o mapas conceptuales. La representacin de dicha capacidad es lo que se conoce como lengua, es decir el cdigo. Una definicin convencional de lengua es la de "signos lingsticos que sirve a los miembros de una comunidad de hablantes para comunicarse".

Lengua oral:Conjunto de sonidos articulados con que el hombre manifiesta lo que piensa o siente, se expresa mediante signos y palabras habladas. Caractersticas del lenguaje oral. Expresividad. La expresin oral es espontnea y natural y est llena de matices afectivos que dependen del tono que empleamos y de los gestos; por eso tiene gran capacidad expresiva. Vocabulario. Se utiliza un vocabulario sencillo y limitado y normalmente est lleno de incorrecciones como frases hechas (muletillas) y repeticiones. O sea, entonces, no... Hablar correctamente. Hablar despacio y con un tono normal. Vocalizar bien. Evitar muletillas. Llamar a las cosas por su nombre evitando abusar de "cosa", "cacharro", "chisme"... Evitar palabras como "to", "guay, "chachi"... Utilizar los gestos correctos sin exagerar.

Caractersticas del lenguaje escrito. Expresividad. Es menos expresivo y espontneo y carece de gestos; por eso es ms difcil expresar lo que queremos. Vocabulario. Se puede usar un vocabulario ms extenso y apropiado ya que da tiempo a pensar ms y se puede corregir si nos equivocamos. Para escribir bien. Hay que leer mucho. Cuidar la ortografa. Un texto con faltas es algo bochornoso. Leer lo que hemos escrito y poner cuidado en que los puntos coincidan con el final de las oraciones. Si lo que se lee no tiene sentido hay que corregirlo. Consultar el diccionario para usar las palabras correctas.

El lenguaje escrito es la representacin de una lengua por medio del Sistema de escritura.