FACULTAD DE INGENIERÍA INDUSTRIAL Y

SISTEMAS

MATEMÁTICA
DISCRETA
TEMA: LÓGICA PROPOSICIONAL
Semana 3
 FIIS - UNI

INTRODUCCIÓN
La Lógica es la disciplina que trata de los métodos de razonamiento. En un nivel elemental, la
lógica proposicional trata de reglas y técnicas para determinar si es o valido un argumento dado.
El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la
computación, para verificar si son o no correctos los programas; en la ciencias físicas y
naturales, para sacar conclusiones de experimentos, y en las ciencias sociales y en la vida
cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el
razonamiento lógico. En este tema se analiza algunas de las ideas básicas.
PROPOSICIÓN LÓGICA
FIIS - UNI

 Definición.- Una proposición lógica es una expresión o enunciado que tiene la cualidad de ser verdadero o bien
falsa, pero no ambos a la vez. Una proposición lógica se denota por letras minúsculas:

Ejemplos.
 El curso de Discreta es obligatorio para el segundo año de bachillerato.
 : Cesar Vallejo escribió “Los Heraldos Negros”.


Mientras que oraciones exclamativas no son consideradas proposiciones.

Ejemplos
 ¡Qué bonita tarde!
 ¡Viva la UNI!.

O de mandato.
 Levántate y haz tu tarea.
CONECTORES LÓGICOS
FIIS - UNI

Definición.- Decimos que una proposición es simple o elemental si no se puede descomponer en algo mas
sencillo.
Ejemplos.
 Carlos juega pelota.

Conectores lógicos
Conectivo lógico Símbolo Significado

Negación “No…”, “No es cierto que…”

Conjunción o producto lógico “ ...y...”

Disyunción o suma lógica “...O... “ (en sentido

incluyente)
Implicación “...implica…”, o “si…
Entonces…”
Doble implicación “..si y solo si…”

Diferencia simétrica o Disyunción excluyente o “O… O... “ (en sentido

excluyente)
CONECTORES LÓGICOS: FIIS - UNI

TABLA DE VERDAD
Tabla de verdad
Sean dos proposiciones y .

V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F

Definición.- Una proposición compuesta es aquella proposición que se puede descomponer en dos o
mas proposiciones simples unidas por conectores lógicos. Para obtener sus valores veritativos se
pueden usar tablas de verdad de todas las posibles combinaciones de las proposiciones componentes.

Ejemplo:
Dada la proposición , determine su tabla de verdad.
TAUTOLOGÍA Y FIIS - UNI

CONTRADICCIÓN
Definición.- Toda proposición compuesta que es siempre Verdadera para cualquier combinación de valores
de verdad de sus componentes se llama Tautología y se denota por V.
Definición.- A toda proposición que resulta el valor de Falsa para todas las posibles combinaciones, se llama
Contradicción y se denota por F.

Ejemplos. Sea la proposición y . Determine la tabla de verdad de cada uno.

Se observa que (tautología) y (contradicción)

PROPOSICIONES FIIS - UNI

EQUIVALENTES
 Definición.- Dos proposiciones y son equivalentes si sus tablas de verdad son idénticas. Se
denota por .
Ejemplo:
Demuestre que y son equivalentes.

Por lo tanto .
 FIIS - UNI

EQUIVALENCIAS LÓGICAS 5) Leyes de Morgan

1) Ley de doble negación
a. ∼
a.
b. ∼
2) Ley de idempotencia
6) Leyes del condicional
a. a.
b. b.
3) Leyes conmutativas 7) Leyes del bicondicional
a. a.
b. b.
c. c.
4) Leyes asociativas 8) Leyes distributivas
a. a.
b. b.
c. c.
d.
 FIIS - UNI

EQUIVALENCIAS LÓGICAS
9) Leyes de absorción: 12) Leyes adicionales :
a. a.
b. b.
c. c.
d.
d.
10) Leyes de transposición
e.
a.
b.
11) Elementos neutros para la conjunción y
disyunción
a.
b.
PROPOSICIONES FIIS - UNI

CONDICIONALES
Sean y proposiciones, la proposición compuesta , se llama proposición condicional o
implicación. A se le llama antecedente o hipótesis y la proposición se le llama consecuente
o conclusión.
La proposición condicional es equivalente a solamente si ; es condición suficiente para ; es
una condición necesaria para
Para su reciproca es y la contrapositiva .

Función proposicional
Decimos que es una función proposicional (predicado) si para cada valor de la variable , tiene
un valor de verdad (V o F).
Ejemplos:
 entonces es falsa y es verdadera.
CUANTIFICADORES: FIIS - UNI

EXISTENCIAL Y UNIVERSAL
Se simboliza “Existe un elemento tal que es cierto” por “ ” resulta verdadera.
Se simboliza “Para todo , se cumple ” por resulta verdadera.
A los símbolos y se les llama cuantificador existencial y universal, respectivamente.
Negación de cuantificadores
Negar que exista un tal que se cumpla, equivale afirmar que ningún elemento satisface la
condición , es decir que:para todo no se cumple . Simbólicamente.

Análogamente, se puede demostrar que

Ejemplo: Para el conjunto

a. , es falso porque solo no todo valor satisface la ecuación. Así su negación será: /, resulta
verdadera.
NEGACIÓN DE FIIS - UNI

CUANTIFICADORES
Negar que exista un tal que se cumpla, equivale afirmar que ningún elemento satisface la
condición , es decir que:para todo no se cumple . Simbólicamente.

Análogamente, se puede demostrar que

Ejemplo: Para el conjunto

a. , es falso porque solo no todo valor satisface la ecuación. Así su negación será: /, resulta
verdadera.

Ejercicio.- Indicar la verdad o falsedad de

a.
MÉTODOS DE FIIS - UNI

DEMOSTRACIÓN
1. METODO DIRECTO
Muchas demostraciones son expresadas como una implicación donde y pueden ser proposiciones
compuestas. Supóngase, sea de la forma:

Una demostración correcta será una tautología, según la ultima forma se dice que se desprende
lógicamente de este se escribe como:

Si es V; es V;…; es V, entonces es V. Muchas demostraciones matemáticas son realizadas como una

implicación. A esta forma de demostración se le llama Método directo.
MÉTODOS DE FIIS - UNI

DEMOSTRACIÓN
A los se les conoce como hipótesis o premisas y es llamada conclusión.
Ejemplo 1:
Demuestre que es una tautología.
La demostración se puede expresa como:

Esta es una equivalencia lógica, por tanto esto es una tautología.

MÉTODOS DE FIIS - UNI

DEMOSTRACIÓN
Ejemplo 2. ¿Es valido el siguiente argumento?
• Fumar es saludable.
• Si fumar es saludable, entonces los cigarrillos son recetados por los médicos.
__________________________________________________________________________________________
Los cigarrillos son recetados por los médicos.
Considere. Fumar es saludable.
Los cigarrillos son recetados por los médicos.
Por la forma del argumento se tiene la forma:
Como F, entonces es V y la conjunción es F. De esta forma el argumento es valido, es V.
MÉTODOS DE FIIS - UNI

DEMOSTRACIÓN
2. METODO INDIRECTO
Es otra técnica de demostración que resulta de la equivalencia contrapositiva:

Para demostrar por el método indirecto , se supone que es falsa y se demuestra que es falsa.
Ejemplo. Sea Demostrar que si es par, entonces es par.
Llamando, es par; y es par.
1. Se asume es falsa, es decir (impar).
2. Entonces , se demuestra que es impar (no es par)
3. Así se demuestra que es falsa.
Se demuestra que se cumple la forma contrapositiva, quedando la proposición demostrada.
MÉTODOS DE FIIS - UNI

DEMOSTRACIÓN
3. MÉTODO DE DEMOSTRACIÓN POR CONTRADICCIÓN
Es una técnica de demostración importante que se basa de la tautología:
(
Cuya regla es,

Esta se puede entender como, si una proposición implica una proposición falsa , entonces debe
ser falsa.
Ejemplo: Demuestre que es irracional.
Supongase que es racional; primos entres si.
Elevando al cuadrado, es par y entonces es par y Luego y tienen un divisor en común.
Esto es una contradicción de la suposición. Portanto la suposición debe ser falsa.
PREDICADOS FIIS - UNI

Un predicado es un enunciado que exprese una propiedad entre ciertos objetos. Se denota por
donde representa una propiedad y es la variable que representa los objetos que se refiere el
predicado.
En general, el predicado se refiere a objetos, es decir .
Ejemplos

1. Todos los estudiantes del curso de matemática discreta estudian ( es estudiante de

matemática discreta: estudia).
PREDICADOS CON FIIS - UNI

CUANTIFICADORES
1. Cuantificador Existencial.

Donde, : cuantificador existencial.

: Dominio del predicado.
: cuerpo del predicado
Será:
 Verdadero, si para algún , que cumple es verdadero.
 Falso, si para ninguna , que cumple es falsa.

Ejemplo.

Para que cumple , se cumple

PREDICADOS CON FIIS - UNI

CUANTIFICADORES
2. Cuantificador Universal.

Afirma que para todoque cumple , se cumple

Será:
 Verdadero, si se demuestra que para todo , que cumple es verdadero.
 Falso, si se encuentra algún , que cumple es falsa.

Ejemplo.
, es verdadero.
Se cumple en todos los valores del rango .
PREDICADOS CON FIIS - UNI

CUANTIFICADORES
3. Leyes de predicados.
INDUCCIÓN MATEMÁTICA FIIS - UNI

Esta es una técnica de demostración, que sigue el siguiente procedimiento,

Principio de inducción matemática
Sea el predicado, donde es un entero positivo, tal que:
i. es verdadero ………(Paso base)
ii. Para , si es verdadero entonces es verdadero….........(Paso de inducción)
Hipótesis inductiva Tesis

Entonces es verdadera ……..(Conclusión).

Nota.- El paso base también se puede iniciar con un fijo, y el proceso de inducción para valores
mayores
INDUCCIÓN MATEMÁTICA FIIS - UNI

Ejemplo.- Demostrar que

Demostración. Considere
• (Paso base) , esta proposición es verdadera.
• (Paso de inducción)
• Hipotesis inductiva: , es verdadera para
• Tesis: debemos probar que es verdadera. Entonces,

, usando
, pues

Así, se tiene que es verdadera.

Por el principio de inducción matemática, se concluye que es verdadera,