Lógica Proposicional

Que es lógica proposicional

Trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, si 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 interferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.

Aplicaciones de la lógica proposicional

La lógica proposicional pretende estudiar las frases declarativas simples (enunciados o proposiciones) que son los elementos básicos de transmisión de conocimiento humano. De manera informal, una proposición se define como una frase que puede ser considerada verdadera o falsa y que no se puede descomponer en otras frases verdaderas o falsa.

Algunos conceptos

Una proposición es una simple oración que tiene valor asociado de verdad (V), o falso (F), pero nunca puede tener ambos, algunos ejemplos pueden ser:

*El día esta soleado

*Mañana es jueves

*Los hombres son mortales

*José es hermano de maría

Tabla de verdad

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos. Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemáticas. En consecuencia, las tablas de verdad constituyen un método de decisión para chequear si una proposición es o no un teorema.

Negación

El valor de verdad de la negación es el contrario de la proposición negada.

Disyunción

La disyunción solamente es falsa si lo son sus dos componentes.

Conjunción

Solamente si las componentes de la conjunción son ciertas, la conjunción es cierta.

Condicional

El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso.

Bicondicional

El bicondional solamente es cierto si sus componentes tienen el mismo valor de verdad

Creado por : Andy Nereira

Correo: anereira01@hotmail.com