P. 1
LOGICA PROPORCIONAL

LOGICA PROPORCIONAL

|Views: 1.445|Likes:
Publicado porRomely Cordero

More info:

Published by: Romely Cordero on Nov 21, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

04/24/2013

pdf

text

original

LOGICA PROPORCIONAL En lógica y matemática, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos.

En la lógica proposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad.[1] Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza. Considérese el siguiente argumento: Mañana es miércoles o mañana es jueves. Mañana no es jueves. Por lo tanto, mañana es miércoles. Este es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusión también podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este argumento no se debe al significado de las expresiones "mañana es miércoles" y "mañana es jueves", porque éstas podrían cambiarse por otras y el argumento permanecer válido. 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 podría ser que los argumentos dejaran de ser válidos. 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 lógicas. La lógica proposicional estudia el comportamiento de una variedad de estas expresiones. En cuanto a las expresiones como "está nublado" o "mañana 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 intención es simbolizar una expresión 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 sección podrían reescribirse así: poq No q Por lo tanto, p Y el tercer argumento, a pesar de no ser válido, puede reescribirse así: Ni p ni q No q Por lo tanto, p

Logica Proporcional
Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa 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 preposición es la clase de palabra invariable que introduce el llamado sintagma preposicional. Las preposiciones generalmente tienen la función de introducir adjuntos, y en ocasiones también 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 inglés, donde incluso pueden aparecer al final de la frase. Considerando las distintas lenguas del mundo, la preposición es un tipo de adposición que se caracteriza por aparecer típicamente al principio del constituyente sintáctico al que afecta; así por ejemplo, la palabra equivalente que aparece detrás y no delante se llama postposición.

la conjunción es cierta. respectivamente. y. cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva para cada combinación de valores de verdad. En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa. principalmente la lógica proposicional y la lógica de predicados. y devuelven un único valor de verdad. si…entonces. las principales constantes lógicas de muchos sistemas lógicos. junto con los cuantificadores. Las conectivas lógicas son. sí y sólo si. o tabla de valores de verdad. es un símbolo que se utiliza para conectar dos fórmulas. Disyunción: La disyunción solamente es falsa si lo son sus dos componentes. Una tabla de verdad. La interpretación corresponde al sentido que estas operaciones tienen dentro del razonamiento. o.Tradicionalmente. una conectiva lógica.como: no. es una tabla que despliega el valor de verdad de una proposición compuesta. Para la construcción de la tabla se asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una proposición falsa. Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática. la gramática del español la ha definido como la parte invariable de la oración que une palabras denotando la relación que tienen entre sí. para cada combinación de valores de verdad que se pueda asignar a sus componentes. Conjunción: Solamente si las componentes de la conjunción son ciertas. Negación: El valor de verdad de la negación es el contrario de la proposición negada. Quiere decir que son funciones que toman uno o dos valores de verdad. TABLAS DE VERDAD Estas tablas pueden construirse haciendo una interpretación de los signos lógicos. de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes. En consecuencia. En consecuencia. . Conectivas Las conectivas son funciones de verdad. o simplemente conectiva. las tablas de verdad constituyen un método de decisión para chequear si una proposición es o no un teorema. En lógica.

la última columna de su tabla de verdad estará formada únicamente por unos. por ejemplo a través de esquemas o mapas conceptuales. Según Ferdinand Saussure. y que nos capacita para abstraer. Contradicción es la negación de una tautología. Es un modelo general y constante para todos los miembros de una colectividad lingüística. entonces. . Los humanos crean un número infinito de comunicaciones a partir de un número finito de elementos. Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad. Hablar correctamente. La última columna de la tabla de verdad de una contradicción estará formada únicamente por ceros. "guay. · Llamar a las cosas por su nombre evitando abusar de "cosa". Se utiliza un vocabulario sencillo y limitado y normalmente está lleno de incorrecciones como frases hechas (muletillas) y repeticiones.. "chisme". es un sistema de comunicación más especializado que los de otras especies animales.. Una definición convencional de lengua es la de "signos lingüísticos que sirve a los miembros de una comunidad de hablantes para comunicarse". La representación de dicha capacidad es lo que se conoce como lengua. Se denomina tautología una proposición que es cierta para cualquier valor de verdad de sus componentes. conceptualizar. · Vocalizar bien. Expresividad. La expresión oral es espontánea y natural y está llena de matices afectivos que dependen del tono que empleamos y de los gestos. y comunicar. especialmente para usos extralingüísticos. · Hablar despacio y con un tono normal. "chachi". Lengua oral:Conjunto de sonidos articulados con que el hombre manifiesta lo que piensa o siente. El lenguaje es una capacidad o facultad extremadamente desarrollada en el ser humano. a la vez fisiológico y psíquico. O sea.. no. Vocabulario. De la verdad no se puede seguir la falsedad.. por eso tiene gran capacidad expresiva. en el lenguaje humano estructurado debe diferenciarse entre lengua y habla: a) Lengua: llamada también idioma. se expresa mediante signos y palabras habladas. es decir el código. Por tanto. · Utilizar los gestos correctos sin exagerar.Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. que pertenece tanto al dominio individual como al social. "cacharro". Características del lenguaje oral. · Evitar palabras como "tío". · Evitar muletillas... luego es una proposición falsa cualesquiera sea el valor de verdad de sus componentes.

· Cuidar la ortografía. · Leer lo que hemos escrito y poner cuidado en que los puntos coincidan con el final de las oraciones. Es menos expresivo y espontáneo y carece de gestos. .Características del lenguaje escrito. · Consultar el diccionario para usar las palabras correctas. por eso es más difícil expresar lo que queremos. Un texto con faltas es algo bochornoso. Si lo que se lee no tiene sentido hay que corregirlo. Para escribir bien. Vocabulario. Expresividad. Se puede usar un vocabulario más extenso y apropiado ya que da tiempo a pensar más y se puede corregir si nos equivocamos. · Hay que leer mucho. El lenguaje escrito es la representación de una lengua por medio del Sistema de escritura.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->