La logica matematica es la rama de las matemáticas que nos permite comprender sobre la

validez o no de razonamientos y demostraciones que se realizan.

Estudia la forma del razonamiento y es aplicada ampliamente en la filosofía, matemáticas,

computación y física. En la filosofía para determinar si un razonamiento es válido o no. En las
matemáticas para demostrar teoremas e inferir resultados matemáticos. En la computación
para revisar programas.

En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se

realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al
supermercado una ama de casa tiene que realizar cierto procedimiento lógico que
permita realizar dicha tarea

Proposiciones

Diremos que una proposición es un enunciado (o frase) en el cual podemos asignar un valor de
verdad o falsedad; pero no ambos al mismo tiempo. Por ejemplo:

Son proposiciones:

Albert Einstein descubrió América.

56 − 20 + 4 = 40

La luna es un satélite natural de la tierra.

El dos es un número primo.

4+3 = 7

Existen enunciados que no son proposiciones, porque no es posible establecer su valor de

verdad por ejemplo:

¡Adiós!

¿Qué hora es?

Mañana lloverá

5 − 4x = 1 No es una proposición. Pero, si sustituimos x por cualquier número, ella se

convierte en proposición. A este tipo de frases se les llama funciones proposicionales.

NOTA

1. Las proposiciones las notaremos con las letras 𝑝, 𝑞, 𝑟 etc.

2. Aquellas proposiciones que no se pueden descomponer en dos o más proposiciones;
se llaman proposiciones simples.

3. Las proposiciones que están formadas por dos o más proposiciones simples por medio
de conectores llamados lógicos se llaman proposiciones compuestas.

4. Si una proposición es verdadera se denotará por la letra “V” o el “1” y si es falsa se

denotará por “F” o por el “0”.

Conectores Lógicos

Negación

Dada una proposición 𝑝, se puede obtener otra proposición anteponiendo la palabra "no" o "no es
cierto que". El símbolo utilizado es ~ que significa "no". Por ejemplo: Sea la proposición 𝑝 ≡ ”Estoy
estudiando"; La negación de esta proposición simple será ~𝑝 ≡ "No estoy estudiando"

La negación aplicada a una proposición simple nos da una nueva proposición simple. Se observa que: Si
𝑝 es V, la negación ~𝑝 es F; mientras que, si 𝑝 es F; la negación ~𝑝 es V

Conjunción

La conjunción es el conector que relaciona dos proposiciones simples para formar una
compuesta, con la letra "y" cuyo símbolo es ∧. Por tanto 𝑝 ∧ 𝑞 se lee "𝑝 y 𝑞". Por ejemplo:
Sean las proposiciones simples 𝑝 ≡ "Juan es bueno" y 𝑞 ≡ "María es feliz", la conjunción de 𝑝 y
𝑞 será 𝑝 ∧ 𝑞 ≡ "Juan es bueno y María es feliz”

Por la naturaleza del nexo "y" para que una proposición compuesta sea verdadera,
necesariamente las dos proposiciones simples deben serlo. Para los demás casos será falsa.
Por tanto la tabla de verdad en este caso es:

Conjunción negativa

La conjunción negativa “ni… y ni…” asociada a las proposiciones 𝑝 y 𝑞 da como resultado una
nueva proposición compuesta 𝑝 ↓ 𝑞 que se lee: “ni 𝑝 y ni 𝑞”, la cual es verdadera cuando 𝑝 y 𝑞
es falsa, en los casos restantes es falsa. Su tabla de verdad es:
Disyunción

La disyunción es un conector lógico que relaciona dos proposiciones simples para

formar una proposición compuesta; por medio del símbolo ∨ , entonces, se obtiene la
proposición compuesta 𝑝 ∨ 𝑞 que se lee "𝑝 o 𝑞". Por ejemplo: Sea p ≡ " 3 + 2 = 5" y q ≡
"4 es un número par"; entonces 𝑝 ∨ 𝑞 ≡ “3 + 2 = 5 o 4 es un número par”.

La disyunción permite una elección, así o 𝑝 es V, o 𝑞 es V o son ambas V a la vez. Luego

si decimos "Londres es capital de Venezuela o 4 es un número par" no estamos
mintiendo puesto que para que la proposición disyuntiva sea verdadera debemos
aceptar que la primera parte es verdadera o que la segunda parte es verdadera o que
ambas son verdaderas.

Según esto se tiene la siguiente tabla de verdad:

Disyunción exclusiva

La disyunción exclusiva “…o, pero no ambos” asociada a las proposiciones 𝑝 y 𝑞 da

como resultado una nueva proposición 𝒑 ∨ 𝒒 y se lee “𝑝 o 𝑞, pero no ambas”, la cual
es falsa cuando 𝑝 y 𝑞 son iguales, mientras que en los demás casos es verdadera. Su
tabla es:
Condicional o implicación

Sean 𝑝 y q proposiciones, el conector lógico condicional o implicación da una nueva

proposición 𝑝 → 𝑞 que se lee "𝑝 entonces 𝑞" o "𝑝 condición 𝑞" o "si 𝑝 entonces 𝑞". La
proposición 𝑝 → 𝑞 es la proposición (~𝑝) ∨ 𝑞 por definición. Por tanto, como (~𝑝) ∨ 𝑞
es igual a la proposición 𝑝 → 𝑞, sus tablas de verdad son las mismas, entonces, se tiene
que:

Bicondicional o bi-implicación

Sean 𝑝 y 𝑞 dos proposiciones, si relacionamos estas proposiciones con el conector

lógico bicondicional obtenemos la proposición 𝑝 ↔ 𝑞 que se lee "𝑝 si y sólo si 𝑞". Esta
proposición 𝑝 ↔ 𝑞 es la proposición (𝑝 → 𝑞) ∧ (𝑞 → 𝑝) o en otras palabras “𝑝
condicional 𝑞 y 𝑞 condicional 𝑝”. Se deja como tarea comprobar que la tabla de
verificación de 𝑝 ↔ 𝑞 es la siguiente:
Construcción de tablas de verdad

En la construcción de tablas de verdad debemos considerar lo siguiente:

1. Determinar el número posibles de combinaciones. Si hay proposiciones, el número
de combinaciones será 2n

2. Se debe procurar respetar el orden de los valores de verdad dentro de la tabla así
por ejemplo: Si hay tres proposiciones, el número de combinaciones serán 23 = 8;
por lo tanto para primera proposición serán 4 verdaderas y 4 falsas; para la segunda
proposición 2 verdaderas y 2 falsas; para la tercera: una verdadera y la otra falsa.