LÓGICA PROPOSICIONAL

Lógica proposicional

La lógica proposicional o lógica de orden cero trata con sistemas lógicos que carecen de cuentificadores, o variables interpretables como entidades. En ló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 de este 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.1

Una lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.2

Proposición

Para otros usos de este término, véase Proposición (desambiguación).

En lógica y filosofía, el término proposición se usa para referirse a:1

• Las entidades portadoras de los valores de verdad.1

• Los objetos de las creencias y de otras actitudes proposicionales.1

• El significado de las oraciones demostrativas, como «el Sol es una estrella».1

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 el producto 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 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

PROPOSICIONES SIMPLES Y COMPUESTAS

En la lógica se distinguen dos tipos de proposiciones, siendo estas:

Proposiciones Simples o atómicas.

Proposiciones Compuestas o Moleculares.

Antes de iniciar el tratamiento de estos dos tipos de proposiciones, se dará la

definición de los que es una proposición:

Proposición es la oración afirmativa que puede ser verdadera o falsa, pero no ambas.

Como ejemplos de proposiciones se dan los siguientes:

1. 4 es menor que ocho

2. Carlos

...