proposiciones


Universidad de Margarita.
Alma Mater del Caribe.
Vicerrectorado Académico.
Decanato de Estudios Generales.
Algebra Discreta.





Profesor: Integrante:
Eduardo Velásquez Ruiz. JeysmarMata Bello.
C.I 25.418.843.
El Valle del Espíritu Santo.
Edo Nueva Esparta 25/09/2013.


INTRODUCCIÓN.

El siguiente trabajo es realizado con el propósito de entender la lógica proposicional, la cual trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lalógica 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 lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro deeste tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples. Para poder entender esto debemos investigar que son los conectivos lógicos, de que se trata la equivalencia lógica, las tautologías y los razonamientos válidos.
Al realizar este trabajo también se espera cumplir conla asignación de la materia algebra discreta.






Las proposiciones.
En filosofía y lógica, el término proposición se usa para referirse a:
Las entidades portadoras de los valores de verdad.
Los objetos de las creencias y de otras actitudes proposicionales.
El significado de las oraciones demostrativas, como «el Sol es una estrella».
Es un producto lógico del pensamiento que seexpresa mediante el lenguaje, sea éste un lenguaje común o formalizado, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos de un lenguaje formal.
En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye eljuicio.
Para Aristóteles, la proposición es un discurso enunciativo perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos. Por eso el juicio es una afirmación categórica, es decir, incondicionada porque representa adecuadamente la realidad.

Proposición lógica y valores de verdad.
El valor de verdad de una proposición lógica atómica (o variableproposicional) es, por definición, verdadero o falso (podemos representarlo como V o F).
Así el enunciado “llueve” es verdadero si y sólo si está lloviendo en ese momento. Pero si dicho enunciado se considera como proposición lógica atómica, p, entonces puede ser tanto verdadera como falsa.
Es una verdad de hecho o contingente, porque tiene los dos posibles valores de verdad, por la propia definiciónde proposición lógica.
El contenido de la relación de un enunciado con lo real no es objeto de la lógica sino de otras ciencias.
Verdad de hecho o contingente, contradicción y tautología.
El valor de verdad de una proposición molecular puede ofrecer los siguientes casos:
Que su valor dependa del valor de verdad de las proposiciones que la integran, según las conexiones lógicas que las unen.En ese caso dicha proposición tiene un valor de Verdad de hecho o contingente. Puede ser unas veces verdadera y otras veces falsa según la verdad o falsedad de cada una de las proposiciones atómicas que la integran.
El valor lógico V (verdad) de la proposición “llueve y hace calor”, sólo se dará en el caso de que las dos proposiciones “llueve” (p) y “hace calor” (q) sean tomadas en su valor de...