La Lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida.

La
palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual,
dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea,
argumento, razón o principio». La lógica tradicionalmente se consideró una rama de la filosofía.
Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con
las matemáticas, y dio lugar a la lógica matemática.

Una proposición es un enunciado y oración declarativa de la cual se puede afirmar que es falsa o
verdadera, pero no ambas cosas a la vez. La veracidad o falsedad de una proposición es lo que se
llama su valor de verdad.

son proposiciones simples. Así como en álgebra las variables que representan cantidades pueden
formar expresiones más complejas mediante el uso de las operaciones básicas de aritmética y
algunas funciones.

Las proposiciones compuestas pueden combinarse o conectarse para formar proposiciones aún
más complejas. Es claro que el valor de verdad de una proposición, por compleja que sea, depende
de los valores de verdad de las proposiciones que las componen en sus formas más simples.

Tablas de Verdad

Definimos una tabla de verdad como un arreglo que nos permite tener los posibles valores de
verdad de una proposición compuesta a partir de los valores de verdad de las proposiciones
simple.

Conectivos lógicos

Los conectivos lógicos son símbolos usados para combinar proposiciones simples dadas,
produciendo así otras llamadas proposiciones compuestas.

Los conectivos lógicos que usaremos son

~ negación

V disyunción

^conjunción

→condicionante

↔bicondicionante
Negación

La negación de una proposición es una nueva proposición que tiene un valor de verdad opuesto a
la proposición original. Es decir, si el valor de verdad de una proposición p es verdadero, entonces
el valor de verdad de ~p es falso

Disyunción

La disyunción es la proposición compuesta que resulta de conectar dos proposiciones, p y q,

mediante el conectivo V. Esta proposición compuesta de denota por p V q y se lee p o q.

Se puede ver que para que una proposición compuesta p V q tenga valor de verdad verdadero,
basta con una de las proposiciones simples tenga valor de verdad verdadero.

Conjunción

La conjunción es la proposición compuesta que resulta de conectar dos proposiciones, p y q,

mediante el conectivo ^

Esta proposición compuesta de denota por p ^ q y se lee p y q.

Se puede ver que para que una proposición compuesta p ^ q tenga valor de verdad verdadero,
ambas proposiciones simples deben tener valor de verdad verdadero.

Condicionante

La condicional es la proposición compuesta que resulta de conectar dos proposiciones, p y q,

mediante el conectivo →

Esta proposición compuesta de denota p → q y se lee p implica q.

En esta proposición compuesta, la proposición simple p se llama antecedente, mientras que la

proposición simple q se llama consecuente.

Se puede ver que una proposición compuesta p → q tiene valor de verdad falso solamente cuando
el antecedente es verdadero y el consecuente es falso. En cualquier otro caso, el valor de verdad
de la proposición compuesta es verdadero.
Bicondicionante

La bicondicional es la proposición compuesta que resulta de conectar dos proposiciones, p y q,

mediante el conectivo ↔

Esta proposición compuesta se denota por p ↔ q y se lee p si y solo si q.

Se puede ver que la proposición compuesta p ↔ q tiene valor de verdad verdadero siempre que
las proposiciones simples tienen el mismo valor de verdad. Es cualquier otro caso, la proposición
compuesta tiene valor de verdad falso.