La lógica proposicional

Es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los

métodos de vincularlas mediante conectores lógicos y las relaciones y propiedades que se
derivan de esos procedimientos. En otras palabras, es un sistema formal cuyos elementos más
simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor
complejidad.
Las proposiciones

Son oraciones literarias o matemáticas en la cual tiene sentido establecer un valor de verdad o
falsedad. Es decir una proposición puede ser verdadera o falsa y no ambas a la vez. Y por lo
tanto una oración que no tenga sentido o carezca de valor no será considerada proposición
Clasificación de las proposiciones
Las proposiciones de clasifican en los siguientes tipos de oraciones:
 A) oraciones declarativas simples
Son llamadas simples porque carecen de conectivos lógicos. Es decir, son oraciones formadas
por una sola oración de ahí el nombre simple. Son representadas simbólicamente mediante el uso
de letras minúsculas del alfabeto.
 B) oraciones declarativas compuestas
Son oraciones llamadas compuestas por que al contrario de las simples. Este tipo de oraciones
tienen la presencia de conectivos lógicos y están formadas por más de una oración es decir
pueden estar formadas por infinitas oraciones.
Conectivos Lógicos:
Son palabras que vinculan las ideas expresadas en dos o más proposiciones simples, para
comunicar algo más complejo. Los conectivos lógicos están identificados con un símbolo
especial y un nombre que representa la función que cumplen
Tabla de verdad:

Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de
verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.

Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas propiedades

lógicas y semánticas de enunciados del lenguaje natural o de fórmulas del lenguaje del cálculo
proposicional:

1. Sin son tautológicas, contradictorias o contingentes

2. Cuáles son sus condiciones de verdad

Conjunción:

En razonamiento formal, una conjunción lógica (   ) entre dos proposiciones es un conector

lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y
en falso de cualquier otra forma. Existen diferentes contextos dónde se utiliza la conjunción
lógica.

En lenguajes formales, la palabra "y" se utiliza en español para simbolizar una conjunción

lógica.

Disyunción:

 En razonamiento formal, una disyunción lógica (   ) (en específico, una disyunción inclusiva)

entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso sólo si
ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen diferentes contextos
dónde se utiliza la disyunción lógica.

En lenguajes formales, la palabra "ó" se utiliza en español para simbolizar una disyunción

lógica.

Condicional:

El condicional material, conocido como condicional o imprecisamente como implicación

material, es un conectivo lógica que conecta dos proposiciones. En lógica proposicional, el
condicional material es una función de verdad binaria, que se vuelve falso cuando el antecedente
es verdadero y el consecuente es falso, y se vuelve verdadero en cualquier otro caso.

o Si llueve, entonces voy al cine.
o Voy al cine si llueve.
o Cuando llueve, voy al cine.
Bicondicional:

La bicondicional, expresada por la frase "si y solo sí…", denotada por el signo"↔", significa una
relación bidireccional en donde ambas proposiciones se necesitan entre sí.

La regla de la tabla de verdad para esta conectiva lógica es la siguiente:

 La conectiva bicondicional será verdadera solamente si y solo si las dos sentencias que la
componen son a la vez verdaderas o si son ambas falsas.

Negación:

En lógica y matemática, la negación, también llamada complemento lógico, es una operación que

cambia los valores de verdad, o en general, valores semánticos de las proposiciones.
Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y
viceversa.

CONSTRUCCIÓN DE TABLAS:

Contingencia:

Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser
verdadera o falsa, según los valores de las proposiciones que la integran

Contradicción:

Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los
casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no
depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que
están establecidas las relaciones sintácticas de unas con otras

Tautología:

Se entiende por proposición tautológica, o tautología, aquella proposición que en todos los casos
posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende
de los valores de verdad de las proposiciones que la forman, sino de la forma en que están
establecidas las relaciones sintácticas de unas con otras.