LÓGICA

¿Qué es la “Lógica"?
¿Qué es la “Lógica"?
 ¿Qué es la “Lógica"?
¿Qué es la “Lógica"?
• La lógica es una ciencia formal y una rama
de la filosofía; que estudia los principios y las
estructuras del pensamiento

• Es un sistema que permite verificar si el

razonamiento es correcto o incorrecto
 Lógica Proposicional
¿Qué es la “Lógica"? Esta lógica se basa en la aplicación de símbolos por medio
Lógica proposicional de tablas de verdad, que nos permiten ver lo verdadero o
falso de las proposiciones.
 Proposición
¿Qué es la “Lógica"?
Una proposición es una oración declarativa o una
Lógica proposicional
Proposición
expresión matemática que es verdadera o es falsa,
pero no ambas. De esta manera, una proposición
tiene un valor de verdad, que puede ser V, si es
verdadera o puede ser F, si es falsa.
 Ejemplos:
¿Qué es la “Lógica"?
La capital de Rusia es Moscú.
Lógica proposicional
Proposición
Ejemplos:

Es una
proposición.

V F
 Ejemplos:
¿Qué es la “Lógica"?
Machu Picchu esta situado en Bolivia.
Lógica proposicional
Proposición
Ejemplos:

Es una
proposición.

V F
 Ejemplos:
¿Qué es la “Lógica"?
2+2=5
Lógica proposicional
Proposición
Ejemplos:

Es una
proposición.

V F
 Ejemplos:
¿Qué es la “Lógica"?
¡No son Proposiciones!
Lógica proposicional ¿Cómo te llamas?
Proposición
Ejemplos:

No se puede afirmar
si una pregunta es
verdadera o falsa.
 Ejemplos:
¿Qué es la “Lógica"?
¡No es Proposición!
Lógica proposicional ¿Qué hora es?
Proposición
Ejemplos:

No se puede afirmar
si una pregunta es
verdadera o falsa.
 Tipos de Proposiciones
¿Qué es la “Lógica"?

Lógica proposicional
Proposición
Ejemplos:
Proposiciones Simples
Tipos de Proposiciones

Proposiciones compuestas
 Proposiciones Simples
¿Qué es la “Lógica"? Son aquellas que tienen una única idea, es decir una sola
Lógica proposicional afirmación, siempre en positivo.
Proposición
Ejemplos:
Tipos de Proposiciones
las proposiciones se representan simbólicamente
Proposiciones Simples mediante el uso de letras minúsculas del alfabeto:

p, q, r, s, t
estas reciben el nombre de letras o variables
proposicionales, de esta forma, el lenguaje proposicional
se hace más simple y exacto que el lenguaje natural.
 Proposiciones Compuestas
¿Qué es la “Lógica"? Son aquellas que tienen dos o más proposiciones simples.
Lógica proposicional En toda proposición compuesta las proposiciones simples están
Proposición ligadas mediante palabras conocidas como conectivos lógicos, que
Ejemplos: sirven para unir o enlazar los enunciados.
Tipos de Proposiciones
Proposiciones Simples Ejemplo: tenemos dos proposiciones simples:
Proposiciones Compuestas
p: Simón es un hombre trabajador.
q: Simón es una persona amigable.
Se puede generar una proposición compuesta que integre las dos
ideas que diga:

Simón es un hombre trabajador y es una persona amigable.

p q
 Conectivos Lógicos
¿Qué es la “Lógica"?
Los conectivos lógicos son palabras que vinculan las ideas
expresadas en dos o mas proposiciones simples, para comunicar
Lógica proposicional
algo mas complejo. Los conectivos lógicos están identificados con
Proposición
un símbolo especial y un nombre que representan la función que
Ejemplos:
cumplen.
Tipos de Proposiciones
Proposiciones Simples El número 4 es un entero par y el número 5 es un entero impar
Proposiciones Compuestas
Conectivos Lógicos p q
Si hago deporte entonces se me acelera el pulso
p q
Teresa es enfermera o psicóloga.
p q
 Resumen
¿Qué es la “Lógica"?
La Lógica Proposicional, es la parte de la lógica que estudia la
formación de proposiciones complejas a partir de proposiciones simples,
Lógica proposicional
y el valor de verdad de dichas proposiciones.
Proposición
VERDADERO
Ejemplos:
Tipos de Proposiciones PROPOSICIÓN Tiene un único valor lógico
Proposiciones Simples FALSO
Proposiciones Compuestas
Conectivos Lógicos
Resumen Proposición Simple Sin conectivos lógico
Lógica proposicional
Ejem: Pedro es odontólogo

Usa conectivos lógicos:

Proposición Compuesta
y, o, entonces, etc.
Ejem: hoy hacen el trasplante y salvan al paciente
Conectivos Lógicos
¿Qué son los conectivos lógicos
Los conectivos lógicos son palabras que vinculan las ideas
expresadas en dos o mas proposiciones simples, para
comunicar algo mas complejo. Los conectivos lógicos están
identificados con un símbolo especial y un nombre que
representa la función que cumplen.
Proposiciones y valor de verdad
Para determinar el valor de p p q p q r

verdad de una proposición 1 V 1 V V 1 V V V

2 F 2 V F 2 V V F
compuesta se elabora una 21 3 F V 3 V F V
tabla de verdad 4 F F 4 V F F
22 5 F V V
6 F V F
7 F F V
En general para “n” 8 F F F
proposiciones, se pueden 23

presentar 2𝑛 posibilidades
Operaciones lógicas y tablas de verdad
1.- CONJUNCION: vincula dos proposiciones mediante el
conectivo lógico “y” cuyo símbolo es “ꓥ” y se
llama conjuntor

Ejemplo: “Jorge viajo al Cusco y Luis viajo a Ica ”

p q
Simbología “p ꓥ q”
p q p ꓥq
TABLA DE V V V es verdadera
VALORES DE cuando las dos
V F F
VERDAD DE LA proposiciones son
CONJUNCIÓN F V F verdaderas
F F F
Operaciones lógicas y tablas de verdad
2.- DISYUNCION DEBIL: Vincula dos proposiciones mediante el
conectivo lógico “o”, cuyo símbolo es “ꓦ”
y se llama disyuntor.

Ejemplo: “Eliana viajará al Cusco o a Cajamarca”

p q
Simbología “p ꓦ q”

p q p v q
TABLA DE
VALORES DE V V V Es falsa solo si
ambas
VERDAD DE LA V F V
proposiciones
DISYUNCION F V V son falsas
DEBIL F F F
Operaciones lógicas y tablas de verdad
3.- DISYUNCIÓN FUERTE: Vincula dos proposiciones mediante el
conectivo lógico “O…o…”, cuyo símbolo
es “Δ” y se llama disyuntor fuerte.

Ejemplo: “O Ricardo radica en Miraflores o en Barranco”

p q
Simbología “p Δ q”
p q p Δq
TABLA DE
V V F
VALORES DE
VERDAD DE LA V F V Es falsa solo si
ambas
DISYUNCION F V V proposiciones
FUERTE F F F tienen idénticos
valores de verdad
Operaciones lógicas y tablas de verdad
4.- CONDICIONAL: Vincula dos proposiciones mediante el conectivo
lógico “Si ………entonces……..”, cuyo símbolo
es “→” y se llama implicador.
Ejemplo: “Si 12 es un numero par entonces es divisible entre 2”
p q
simbología: “p→q”
p: 12 es un numero par ANTECEDENTE
q: 12 es divisible entre 2 CONSECUENTE

p q p→ q

TABLA DE V V V Es falso cuando el

antecedente es
VALORES DE V F F
verdadero y el
VERDAD DE EL F V V consecuente es
CONDICIONAL F F v falso.
Operaciones lógicas y tablas de verdad
5.- BICONDICIONAL: Vincula dos proposiciones mediante el
conectivo lógico “….. si y solo si…”, cuyo
símbolo es “↔” llamado doble implicador.

Ejemplo: “Sicilia es una isla si y solo si esta rodeada de agua”

p q
p q p↔q Simbología “p↔q”

TABLA DE V V V
Es verdadero solo si
VALORES DE V F F
ambas
VERDAD DE EL F V F proposiciones
BICONDICIONAL tienen idénticos
F F V valores de verdad.
Operaciones lógicas y tablas de verdad
6.- NEGACION: Afecta a una sola proposición. Es un operador que
cambia el valor de verdad de una proposición. Su
símbolo es “~” y se llama negador.

Ejemplo: todo número elevado al cuadrado es positivo

p
(negación) no todo número elevado al cuadrado es positivo
~p
Ejemplo: no es cierto que pablo fue al banco y retiro dinero
p q

TABLA DE ~p
p
VALORES DE Simbología : ~ (p ꓥ q)
V F
VERDAD DE LA
F V
NEGACIÓN
Tablas de verdad