logica

Conceptos Y Tipos
En lógica y filosofía, 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 actitudesproposicionales.
El significado de las oraciones demostrativas, como «el Sol es una estrella»
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común,cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos.
En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es elproducto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio. Para Aristóteles, la proposición es un discurso enunciativo perfecto, que se expresa enun 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.Proposiciones
Una proposición es entendida generalmente en el contexto de la lógica como una expresión lingüística cuya función es informativa. Un enunciado lingüístico puede ser considerado comoproposición lógica cuando es susceptible de poder ser verdadero o falso. Como proposición, a la lógica lo que le interesa es únicamente la función: poder ser verdadero o falso. La lógica se preocupa de lasproposiciones; y estudia las formas válidas según las cuales a partir de la verdad o falsedad de una o varias proposiciones se pueda argumentar o inferir la verdad o falsedad de otras. Por eso la verdadlógica es una verdad formal, que no tiene contenido. Eso explica por qué puede establecer sus leyes y reglas de modo simbólico, construyendo diversos cálculos que puedan modelizar algunos contextoslingüísticos o teorías científicas, de forma semejante a las matemáticas. Su elemento fundamental es la proposición lógica y la definición de las reglas que, tomadas como leyes lógicas, permiten la...