Fundamentos de

Matemática
Lógica
Prof: Rafael Espinoza

Fundamentos de matemáticas – ESPOL

Fundamentos de matemática – Castillo, Navas, Toro
Análisis matemático – Lara & Arroba
Proposiciones: Temario
› Proposiciones
› Conectivos Lógicos
› Equivalencias lógicas
› Cuantificadores
› Funciones proposicionales
› Reglas de inferencia
Proposiciones

OBJETIVO
Proposiciones
› Una proposición es una unidad
semántica que, o sólo es
verdadera o sólo es falsa.
DEFINICIÓN

- No confundir con una oración

(ésta expresa un pensamiento u opinión)
- La Proposición está
relacionada con la lógica
› Oraciones ambiguas
– No son F ni V
NO SON OBJETO DE ESTUDIO DE LA LÓGICA
– Son F y V
– Imprecisas
Proposiciones
SON PROPOSICIONES
a. 8 y 3 son factores de 24
b. Los veganos comen carne
c. Oswaldo Guayasamín fue un
pintor ecuatoriano
NO SON PROPOSICIONES:
IMPERATIVAS, EXCLAMATIVAS,
INTERROGATIVAS
› Buenos días
› X+3=0
› ¿Tú eres Carlos?
Proposiciones: Clasificación
SIMPLES
› Expresan una situación en su
estado mas sencillo
› No poseen un elemento
condicional
› Los ejemplo anteriores son
todos proposiciones simples
COMPUESTAS
› Poseen un conectivo que puede
ser de oposición (o), adición (y)
o condición (si)
› Proposiciones negativas (no)
› La raíz de 144 es +12 ó -12
› Si Xavier fue aceptado en
medicina es porque obtuvo más
de 900 en el examen
› Enseño matemáticas y
bioquímica
Valor de Verdad

DEFINICIÓN

› Verdadero: 1; V
› Falso: 0; F
Es el valor de mayor interés en una
proposición.
Tabla de Verdad

DEFINICIÓN

› Presentan valores, relaciones y

resultados posibles como
resultado de la operaciones
lógicas
EJEMPLOS

a a b a b c
0 0 0 0 0 0
1 0 1 0 0 1
1 0 0 1 0
1 1 0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Conectivos Lógicos

OBJETIVOS
Conectivos Lógicos: Negación

DEFINICIÓN TABLA DE VERDAD

p -p
0 1

1 0
La negación se presenta con los términos gramaticales: “no”,
“ni”, “no es verdad que”, “no es cierto que”.
Conectivos Lógicos (Negación)

p -p
Guayaquil es la capital de Guayaquil no es la capital
Ecuador de ecuador
𝑥 2 −𝑎2 𝑥 2 −𝑎2
 =𝑥−𝑎  ≠𝑥−𝑎
𝑥+𝑎 𝑥+𝑎
No es verdad que todos los Es verdad que todos los
números reales son números reales son
positivos positivos
Pedro está triste Pedro está contento …?
Conectivos Lógicos: Conjunción

DEFINICIÓN TABLA DE VERDAD

› Sean p y q proposiciones, la
conjunción entre p y q, p q pq
representada simbólicamente 0 0 0
por pq, es una nueva
proposición, cuyo valor es 0 1 0
verdadero solo cuando p y 1 0 0
q son verdaderas 1 1 1
En términos gramaticales se representa por “y”, “pero”, “mas”, coma, punto y punto y coma.
 Conectivos Lógicos (Conjunción)

p; q pq
Estudio mucho Estudio mucho pero saco
Saco bajas notas bajas notas

4 es real 4 es real y positivo

4 es positivo

Ingeniería mecánica
Ingeniería mecánica pertenece al DECEM pertenece al DECEM e
Ingeniería mecatrónica no se abrirá este ingeniería mecatrónica no
semestre se abrirá este semestre
Conectivos Lógicos (Conjunción)

EJERCICIO

~[p(~q)]
p q ~q p(~q) ~[p(~q)]
1 1
1 0
0 1
0 0
Conectivos Lógicos (Conjunción)

EJERCICIO:

~[p(~q)]
p q ~q p(~q) ~[p(~q)]
1 1
1 0
0 1
0 0
Conectivos Lógicos (Conjunción)

EJERCICIO
› SOLUCIÓN
› ~[p(~q)]
p q ~q p(~q) ~[p(~q)]
1 1 0 0 1
1 0 1 1 0
0 1 0 0 1
0 0 1 0 1
Conectivos Lógicos (Conjunción)

› También se tiene el término de enlace “ni”

notado  y se define como: pqpq

p q ~p ~q pq
1 1 0 0 0
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1
Conectivos Lógicos: Disyunción (inclusiva)

DEFINICIÓN

› Seanp y q proposiciones, la p q pq

disyunción entre p y q,
0 0 0
representada por pq, es
una nueva proposición, cuyo 0 1 1
valor será falso solo cuando 1 0 1
las dos proposiciones son
falsas y verdad en cualquier 1 1 1
otra forma.
Gramaticalmente viene representado por la letra “o”
Conectivos Lógicos: Disyunción

p; q pq
p: Estudiantes que trajeron Estudiantes que trajeron
lápiz lápiz o esfero
q: Estudiantes que trajeron
esfero
* Estudiantes que vinieron
p: Estudiantes que vinieron o de traje o casual
de de traje
q: Estudiantes que vinieron
casual
Conectivos Lógicos: Disyunción (exclusiva)

› En este conectivo no se
puede optar por las 2 p q pq
opciones, por lo tanto la
disyunción exclusiva de p y 0 0 0
q notada por pq tiene un 0 1 1
valor falso cuando p y q 1 0 1
son verdaderos
1 1 0
EJERCICIO

› Resolver:
[~(pq)](qp)
p q
1 1
1 0
0 1
0 0
EJERCICIO
› [~(pq)](qp)
› SOLUCIÓN:

p q pq ~(pq) qp [~(pq)](qp)]

1 1 1 0 1 1
1 0 1 0 1 1
0 1 1 0 1 1
0 0 0 1 0 1
Conectivo Condicional

DEFINICIÓN TABLA DE VERDAD

› Dadas las p q pq
proposiciones p y q, el
condicional nos da una 0 0 1
nueva proposición que 0 1 1
se nota p  q y se lee 1 0 0
“p implica q” o “si p 1 1 1
entonces q”
Conectivo (Condicional)

p; q pq
› p: yo apruebo matemática › ?
› q: Voy de vacaciones

› Si yo apruebo matemática voy
de vaciones
PARAFRASEAR
› Voy de vacaciones si apruebo
matemártica
› Si apruebo matemática, entonces
voy de vacaciones
› Voy de vacaciones puesto que
aprobé matemática
› Voy de vacaciones debido a que
aprobé matemática
› Voy de vacaciones siempre que
apruebe matemática
 PROPOSICIONES
RELACIONADAS
› Existen otras proposiciones
relacionadas con: › Recíproca: ba
› a b
› Inversa: –a–b
› La proposición
contrarecíproca tiene los › Contrarecíproca:
mismos valores de verdad
que su original –b–a
EJEMPLO
› A partir de la proposición:
› “Si un número es divisible para 6, entonces es divisible para 3”.
› La Recíproca sería:
› “Si un número es divisible para 3, entonces es divisible para 6”.
› La Inversa sería:
› “Si un número no es divisible para 6, entonces no es divisible para 3”.
› La Contrarrecíproca sería:
› “Si un número no es divisible para 3, entonces no es divisible para 6”.
CONDICIÓN NECESARIA Y
SUFICIENTE PARAFRASEANDO
› Si a b se puede › Basta a para que b
parafrasear de la siguiente › Se necesita b para a
manera:
› b con la condición de que
› a es condición suficiente a
para b
› b es condición necesaria Antecedente Consecuente
para a
EJEMPLO SE CUMPLE?
› Si estudias aprobarás › Es suficiente estudiar para
matemática aprobar matemática
› Es necesario aprobar
matemática como consecuencia
de haber estudiado
› “Si n es divisible por 4, n es › “n es divisible por 4” es
divisible por 2 suficiente para que “n sea
divisible por 2”
› “n es divisible por 2” es
condición necesaria para que “n
sea divisible por 4”
EJERCICIO
› Se cumple que p  q p q
es por definición
(-p)q ? 0 0
0 1
1 0
1 1
EJERCICIO SOLUCIÓN
› Se cumple que p  q p q -p (-p)q
es por definición
(-p)q 0 0 1 1
0 1 1 1
1 0 0 0
1 1 0 1
EJERCICIO

› (pq)(pq)

p q
1 1
1 0
0 1
0 0
EJERCICIO SOLUCIÓN

› (pq)(pq)

p q pq pq (pq)(pq)

1 1 1 1 1
1 0 0 1 1
0 1 0 1 1
0 0 0 0 1
Conectivo Bicondicional

DEFINICIÓN
› Dadas las proposiciones p
y q, el bicondicional nos da p q pq
una nueva proposición que 0 0 1
se nota pq y se lee “p si y 0 1 0
solo si q” y se cumple que p
 q es por definición p  q 1 0 0
qp 1 1 1
EJERCICIO
› Resolver:( pq)( qp)

p q
0 0
0 1
1 0
1 1
EJERCICIO
› Solución:( pq)( qp)

p q pq qp ( pq)( qp)

0 0 1 1
0 1 1 0
1 0 0 1
1 1 1 1
RESÚMEN CONECTIVOS LÓGICOS
› p: 3 es un número impar
› q: 3 es un número primo
Lenguaje Lenguaje
Conectivo Natural Símbolo lógico Ejemplo
NEGACIÓN NO  —p 3 no es un número impar
CONJUNCIÓN y  p q 3 es un número impar y número primo
DISYUNCIÓN O  pq 3 es un número impar o número primo
CONDICIONAL Si … entonces  p q Si 3 es un número impar entonces es primo
BICONDICIONAL Si y solo si  p q 3 es un número impar si y solo si es un número primo
TALLER
Traducción al Lenguaje Simbólico

EJEMPLO
› No es cierto que siete más › “No es cierto que”
nueve no es igual a 4 ~
› siete más nueve no es igual a 4
~p

~(~p)
Traducción al Lenguaje Simbólico

› Llegué tarde a clase porque me quedé dormido

› --------p----------- --------q--------

qp
Traducción al Lenguaje Simbólico

LENGUAJE NATURAL PROPOSICIONES

› “Si la seguridad privada es
efectiva, disminuyen los
índices de asalto en la
ciudad y el turismo se
desarrolla. Los índices de
asalto no disminuyen, pero
la seguridad privada es
efectiva. Entonces, el
turismo no se desarrolla”.
Traducción al Lenguaje Simbólico

LENGUAJE NATURAL PROPOSICIONES

› “Si la seguridad privada es › a: La seguridad privada es

efectiva, entonces efectiva
disminuyen los índices de › b: Los índices de asalto
asalto en la ciudad y el disminuyen en la ciudad.
turismo se desarrolla. Los
índices de asalto no › c: El turismo se desarrolla.
disminuyen, pero la
seguridad privada es [(a→(b∧c))∧(¬b∧a)]→(¬c)
efectiva. Entonces, el
turismo no se desarrolla”.
Parafrasear

LA NEGACIÓN ¬
› no,
› no es el caso de que,
› no es cierto que,
› no es verdad que,
› es falso que.
› La expresión a menos
que introduce un
antecedente negado
Parafrasear

LA CONJUNCIÓN ∧
› pyq › p, q
› p, sin embargo q › p a pesar de q
› Tanto p como q › La expresión ni p ni q es
una conjunción en la que
› p pero q
cada uno de sus miembros
› p aunque q está negado
› p y también q › (¬p ∧¬q); pq
LA DISYUNCIÓN V
› poq
› O bien p o q
› p a menos que q
› p a no ser que q
› Opoq
Parafrasear
EL CONDICIONAL 
› Si p, q
› Si p entonces q
› p es condición
suficiente para q
› p es suficiente para q
› q con la condición de que p
› q es condición
necesaria para p
› q es necesaria para p
› q si p
› Siempre que p, q
› Dado que p, q
› En caso de que p, q
› p sólo con la condición de
que q
› p sólo si q
› a no ser que y a menos que
(condicional o disyunción)
EL CONDICIONAL 
› Condiciones
suficientes introducen
antecedentes, las condiciones
necesarias consecuentes.
› En caso de que introduce al
consecuente.
› La expresión sólo si introduce
siempre el consecuente.
EL BICONDICIONAL 
› p si y sólo si q › p es necesaria y
suficiente para q
› p es equivalente a q
› p sólo en caso de que q
› p es condición necesaria
y suficiente de q › p cuando y sólo cuando q
Parafrasear

USO DE LOS PARÉNTESIS

› Los paréntesis nos van a › No es cierto que Juan beba y
mostrar el alcance de una camine derecho
conectiva.
› Por ejemplo un
¬p∧¬q 
bicondicional podría ¬(p∧q) 
contener un primer
miembro sea a su vez un
condicional
Parafrasear
USO DE LOS PARÉNTESIS

› El orden de actuación es:

› , , , , 
› – <------------> +
Determinación de Valores de Verdad

› Bajo la suposición de que los › ¬(a∨b)→(c∧¬d)

valores de verdad de las
proposiciones simples a, b, c y
d son respectivamente 0, 0, 1,
1, indique el valor de verdad de:
Determinación de Valores de Verdad

EJERCICIO
› Bajo la suposición de que los › ¬(a∨b)→(c∧¬d)
valores de verdad de las
proposiciones simples a, b, c y › SOLUCIÓN
d son respectivamente 0, 0, 1,
› ¬(0∨0)→(1∧0)
1, indique el valor de verdad de:
› ¬(0)→0
› 1→0
› 0
› El valor de verdad de esta
proposición es falso.
Determinación de Valores de Verdad

EJERCICIO
› Bajo la suposición de que los › ¬(10)(0∧1)
valores de verdad de las
› .
proposiciones simples a, b, c y
d son respectivamente 0, 0, 1,
1, indique el valor de verdad de:
Determinación de Valores de Verdad

EJERCICIO
› Bajo la suposición de que los › ¬(10)(0∧1)
valores de verdad de las
proposiciones simples a, b, c y › ¬(0)0
d son respectivamente 0, 0, 1, › 10
1, indique el valor de verdad de:
› 1
› El valor de verdad de esta
proposición es verdadero.
Determinación de Valores de Verdad

EJERCICIO
› Determine el valor de verdad de
las proposiciones a, b, c si la
proposición
› [(a∧¬b)→c] es FALSA.
Determinación de Valores de Verdad
EJERCICIO
› Determine el valor de verdad de
las proposiciones a, b, c si la
proposición
› [(a∧¬b)→c] es FALSA.
› SOLUCIÓN
› El operador principal de esta
proposición compuesta es la
condicional.
› Dado que esta implicación tiene un valor
de verdad falso únicamente cuando el
antecedente es verdadero y el
consecuente es falso
› Se obtiene que: (a∧¬b) debe ser
verdadero; y, c debe ser falso.
› Estos valores lógicos se obtienen si y
sólo si a es verdadero, b es falso y c es
falso, con lo cual quedan determinados
los valores de verdad.
Formas Proposicionales
OBJETIVOS
› Identificar la diferencia entre
proposiciones y formas
proposicionales.
› Dada una forma proposicional,
construir la tabla de verdad que
la describe.
› Reconocer los diferentes tipos
de formas proposicionales.
› Identificar implicaciones y
equivalencias lógicas.
DEFINICIÓN
› Se denominan formas
proposicionales a las
estructuras constituidas por
variables proposicionales y los
operadores lógicos que las
relacionan.
p constituye una variable
proposicional cuando puede
representar a una proposición
simple o compuesta
Tautología, Contradiccción, Contingencia

› Si se tienen solamente › Si se tienen solamente

proposiciones verdaderas proposiciones falsas para
para todos los valores de todos los valores de verdad
verdad de las variables de las variables
proposicionales, se dice proposicionales, se dice
que es una TAUTOLOGÍA. que es una
CONTRADICCIÓN.
› Si se tienen algunas proposiciones verdaderas y otras
falsas para los valores de verdad de las variables
proposicionales, se dice que es una CONTINGENCIA.
Implicación Lógica

DEFINICIÓN EJEMPLO
› Si AB es una Tautología › La forma proposicional
entonces se dice que A tautológica: p⇒(q→p), se
implica lógicamente a B y puede traducir al lenguaje
se nota AB común como “si se tiene p,
de cualquier manera q se
seguirá teniendo p”.
EJERCICIO
› La forma proposicional [(p→q)∧(q→r)]⇒(p→r)
tautológica:
[(p→q)∧(q→r)]⇒(p→r), se
puede traducir al lenguaje
común como:
› “si cada vez que se tiene p
se tiene q y cada vez que
se tiene q se tiene r,
entonces cada vez que se
tiene p se tiene r”.
EJERCICIO SOLUCIÓN
[(p→q)∧(q→r)]⇒(p→r)
Equivalencia Lógica

DEFINICIÓN
› Sean A y B dos formas
proposicionales, se dice
que A es equivalente
lógicamente a B,
denotado por A⇔B ó
A,B si y sólo si AB
es una tautología.
Equivalencia Lógica
TRADUCCIÓN AL LENGUAJE
COMÚN
› Traducir la forma
proposicional al
lenguaje común:
› (p→q)⇔(¬q→¬p)
Equivalencia Lógica
TRADUCCIÓN AL LENGUAJE
COMÚN SOLUCIÓN
› Traducir la forma › “Cada vez que se tiene
proposicional: p, se tiene q”, es
› (p→q)⇔(¬q→¬p) lógicamente equivalente
a “cuando no se tiene q,
entonces no se tiene p”.
EJERCICIO
› Demostrar que:
› (p→q) es lógicamente
equivalente a (¬q→¬p)
› Ó utilizando la notación
respectiva:
› (p→q)⇔(¬q→¬p)
EJERCICIO: CONTINUACIÓN
› Parafraseando: se debe
demostrar que:
(p→q)(¬q→¬p) es una
tautología

p q ~p ~q p→q ~q→~p (p→q)«(~q→~p)

0 0
0 1
1 0
1 1
EJERCICIO: CONTINUACIÓN SOLUCIÓN
› demostrar que:
(p→q)(¬q→¬p) es una
tautología

p q ~p ~q p→q ~q→~p (p→q)(~q→~p)

0 0 1 1 1 1 1
0 1 1 0 1 1 1
1 0 0 1 0 0 1
1 1 0 0 1 1 1
EJERCICIO
› Traducir al lenguaje
común:
› ¬(p∨q)⇔(¬p∧¬q)
EJERCICIO
› Traducir al lenguaje › “No es cierto que se tiene p
común: o q”, es lógicamente
equivalente a “ni se tiene p,
› ¬(p∨q)⇔(¬p∧¬q)
ni se tiene q”.
EJERCICIO
› ¬(p∨q)⇔(¬p∧¬q)

p q ~p ~q p∨q ¬(p∨q) ¬p∧¬q ¬(p∨q)⇔(¬p∧¬q)

0 0
0 1
1 0
1 1
EJERCICIO SOLUCIÓN
› ¬(p∨q)⇔(¬p∧¬q)

p q ~p ~q p∨q ¬(p∨q) ¬p∧¬q ¬(p∨q)⇔(¬p∧¬q)

0 0 1 1 0 1 1 1
0 1 1 0 1 0 0 1
1 0 0 1 1 0 0 1
1 1 0 0 1 0 0 1
Propiedades de los Operadores Lógicos

OBJETIVOS
› Demostrar propiedades de › Las propiedades lógicas se
los operadores empleando incluyen dentro de las leyes
tablas de verdad lógicas (álgebra de
proposiciones).
› Emplear propiedades de los
operadores lógicos para › Para ordenar este vasto campo
modificar y/o simplificar de leyes se dividirán en tres
estructuras lógicas grupos
› Leyes de los operadores de
conjunción y disyunción
› Leyes de los operadores
negación, condicional y
bicondicional
› Leyes de implicaciones lógicas
 LEYES DE LOS OPERADORES CONJUNCIÓN Y DISYUNCIÓN
EJEMPLO LENGUAJE LÓGICO LEY LENGUAJE LÓGICO EJEMPLO
p(qr)(qr
pqqp CONMUTATIVA pqqp p(~qr)(~qr)p
)p
pqr(pq) pqr(pq)rp(qr) ASOCIATIVA pqr(pq)rp(qr) pqr(pq)rp(
rp(~qr) ~qr)
(pq)(pq)
ppp IDEMPOTENCIA ppp (~pq)(~pq)(~pq)
(pq)
p0p
p1p IDENTIDAD

p(pq)p p(pq)p p(pq)p p(pq)p

ABSORCIÓN
p00 p11
LEYES DE LOS OPERADORES NEGACIÓN, CONDICIONAL Y
BICONDICIONAL …/1

LEY LENGUAJE LÓGICO EJEMPLO

¬0 ≡ 1
NEGACIÓN
¬1 ≡ 0
DOBLE NEGACIÓN
(p)p [(pq)]pq
(INVOLUCIÓN)
DISTRIBUTIVA pqr)pq)pr) pqr)pq)pr)
pqr)pq)pr) pqr)pq)pr)
LEYES DE LOS OPERADORES NEGACIÓN, CONDICIONAL Y
BICONDICIONAL …/2

LEY LENGUAJE LÓGICO EJEMPLO

DE MORGAN (pq)pq (pq)pq
(pq)pq (pq)pq
TERCIO EXCLUIDO p~p1
CONTRADICCIÓN p~p
CONTRARRECÍPROCA (pq)(qp) (pq)(qp)
CONDICIONAL (IMPLICACIÓN) pqpq pqpq
LEYES DE LOS OPERADORES NEGACIÓN, CONDICIONAL Y
BICONDICIONAL …/3

LEY LENGUAJE LÓGICO EJEMPLO

Si estudio paso y si copio paso
[(pr)(qr)]  [(pq)r]
Si estudio o copio paso
Si estudio paso y si estudio
EXPORTACIÓN [(pq)(pr)]  [p(qr)] aprendo
Si estudio paso y aprendo
[(pq)r]  [p(qr)]
REDUCCIÓN AL ABSURDO (pq)  [(pq)0]
pq(pq)(qp
BICONDICIONAL pq(pq)(qp)
)
(EQUIVALENCIA)
(p  q)  (q  p)
EJERCICIO
› Se requiere demostrar la › Una equivalencia se la puede
equivalencia lógica: demostrar por dos métodos:
[(p∧q)→r] ≡ [p→(q→r)] 1. Tabla de verdad
2. Aplicando leyes de los
operadores
EJERCICIO
› Se requiere demostrar la equivalencia lógica:
› [(p∧q)→r] ≡ [p→(q→r)]
p q r pq (pq)r qr p(qr) AB
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
SOLUCIÓN
› Se requiere demostrar la equivalencia lógica:
› [(p∧q)→r] ≡ [p→(q→r)]
p q r pq (pq)r qr p(qr) AB
0 0 0 0 1 1 1 1
0 0 1 0 1 1 1 1
0 1 0 0 1 0 1 1
0 1 1 0 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
› Se requiere demostrar la equivalencia lógica:
› [(p∧q)→r] ≡ [p→(q→r)]
SOLUCIÓN APLICANDO LEYES DE LOS OPERADORES LÓGICOS

Implicación pqpq
De Morgan (pq)pq
pqr(pq)
[(p∧q)→r] ≡ Asociativa rp(qr)
Implicación pqpq
Implicación pqpq
› Se requiere demostrar la equivalencia lógica:
› [(p∧q)→r] ≡ [p→(q→r)]
SOLUCIÓN APLICANDO LEYES DE LOS OPERADORES LÓGICOS

[¬(p∧q)∨r] Implicación pqpq

[(¬p∨¬q)∨r] De Morgan (pq)pq
pqr(pq)
[(p∧q)→r] ≡ [¬p∨(¬q∨r)] Asociativa rp(qr)
[¬p∨(q→r)] Implicación pqpq
[p→(q→r)] Implicación pqpq
CONSIDERE LAS TRES
PROPOSICIONES SIMPLES PROPSICIÓN COMPUESTA
› a: El clima es propicio. › A: Si el clima es propicio y la
tierra es fértil, la flor crecerá
› b: La tierra es fértil.
› Se quiere conocer ~A en
› c: La flor crecerá leguaje común (LC)
› ¬[(a∧b)→c]
› TRADUCCIÓN AL LL
› (a∧b)→c
 A ~A Proposición Ley L lógico
Implicación pqpq

De Morgan (pq)pq
Doble
(a∧b)→c ¬[(a∧b)→c] ≡ negación ¬(¬p) ≡ p
pqr(pq)
Asosiativa rp(qr)
Conmutativa pqqp
 A ~A Proposición Ley L lógico
¬[¬(a∧b)∨c] Implicación pqpq

[¬¬(a∧b)]∧¬c De Morgan (pq)pq

Doble
(a∧b)→c ¬[(a∧b)→c] ≡ (a∧b)∧¬c negación ¬(¬p) ≡ p
pqr(pq)
a∧b∧¬c Asosiativa rp(qr)
b∧¬c∧a Conmutativa pqqp

Enunciado ?
 A ~A Proposición Ley L lógico
¬[¬(a∧b)∨c] Implicación pqpq

[¬¬(a∧b)]∧¬c De Morgan (pq)pq

Doble
(a∧b)→c ¬[(a∧b)→c] ≡ (a∧b)∧¬c negación ¬(¬p) ≡ p
pqr(pq)
a∧b∧¬c Asociativa rp(qr)
b∧¬c∧a Conmutativa pqqp

“El clima es propicio y la tierra es fértil, pero la flor no crecerá”.

“La tierra es fértil, la flor no crecerá y el clima es propicio”.

TALLER 2
Inferencia Lógica (Razonamiento)

OBJETIVOS DEFINICIÓN
› Identificar la estructura de un › Son un conjunto de
razonamiento proposiciones denominadas
premisa o hipótesis,
› Establecer la validez de un
razonamiento › Premisa condicional (con
operador condicional)
› La(s) otras con cualquier
perador
› Y una premisa final denominada
conclusión
 Conjunto de
premisas Operador
Conclusión
condicional
(Antecedentes)
Validez de un razonamiento

DEFINICIÓN

› Un razonamiento es válido cuando la forma proposicional que

representa su estructura lógica es una tautología. Si dicha forma
proposicional es una contradicción o contingencia, entonces el
razonamiento no es válido, en cuyo caso se denomina falacia.

› Un razonamiento es válido en la circunstancia que “cuando las

premisas son verdaderas su conclusión también lo es”
 Reglas de Inferencia
MODUS PONENDO PONENS
(PP) DEFINICIÓN:
› Es un método (Modus), que afirma(ponens) el
consecuente, afirmando (ponendo) el
antecedente de la implicación.

𝑝→𝑞 ~𝑝 → 𝑞 𝑝∧𝑞
𝑝 ~𝑝 (𝑝 ∧ 𝑞) → ¬𝑠
𝑞 𝑞 ¬𝑠

https://www.monografias.com/trabajos99/fundamentos-logicos/fundamentos-logicos.shtml
Reglas de Inferencia
MODUS PONENDO PONENS
(PP) EJEMPLOS:
› Condición: Si trabajo
𝑝→𝑞 entonces gano dinero

𝑝 › Premisa (hecho): Trabajo

𝑝 › Conclusión: gano dinero

› Condición: Si no fumo soy

~𝑝 → 𝑞 saludable
› Premisa (hecho): No fumo
~𝑝
› Conclusión: Soy saludable
𝑞
Reglas de Inferencia
MODUS PONENDO PONENS
(PP) EJEMPLO:

𝑝∧𝑞
(𝑝 ∧ 𝑞) → ¬𝑠
¬𝑠
Reglas de Inferencia
MODUS TOLLENDO TOLLENS
(TT) DEFINICIÓN:
› Es el método (Modus), que negando (tollendo)
el consecuente, se puede negar (Tollens) el
antecedente de la implicación..

𝑝→𝑞 𝑞 → ~𝑟 ~𝑟 → ~(𝑝 ∨ 𝑠)
~𝑞 𝑟 𝑝∨𝑠
~𝑝 ~𝑞 𝑟
Reglas de Inferencia

MODUS TOLLENDO TOLLENS EJEMPLOS:

› Condición: Si trabajo
𝑝→𝑞 entonces gano dinero
~𝑞 › Premisa (hecho): No gano
dinero
~𝑝
› Conclusión: no trabajo

𝑞 → ~𝑟 › Condición: Si fumo no soy

saludable
𝑟 › Premisa (hecho): Soy
~𝑞 saludable
› Conclusión: No fumo
MODUS TOLLENDO TOLLENS EJEMPLOS

~𝑟 → ~(𝑝 ∨ 𝑠)
𝑝∨𝑠
𝑟
Demostraciones
OBJETIVO
› Demostrar la validez o no de un razonamiento empleando las
técnicas respectivas

DEFINICIÓN
› Cualquier sistema lógico debe empezar con algunos términos
fundamentales, definiciones, y axiomas o postulados.
› A partir de ello, se pueden deducir por razonamientos válidos otras
afirmaciones.
› Para llegar a demostrar algo, es necesario justificar cada paso de la
demostración de manera lógica.
DEMOSTRACIÓN DIRECTA
› También denominadas “marcha adelante”.
› Si queremos demostrar que p→q, examinamos los
elementos que aparecen en p; y, con la atención puesta en
q, intentamos deducir qa partir de una secuencia de pasos
lógicos que comience en p y
termine en q.
POR EL MÉTODO DIRECTO
› partir de las siguientes › 4) TT1,2
hipótesis:
› 5) PP 3,4
1) 𝑟 → ~𝑠
2) s
3) ~𝑟 → (𝑝 ∨ 𝑞)
Concluir C) 𝑝 ∨ 𝑞
POR EL MÉTODO DIRECTO
› partir de las siguientes › 4) ~𝑟 TT1,2
hipótesis:
› 5) (𝑝 ∨ 𝑞) PP 3,4
1) 𝑟 → ~𝑠
2) s
3) ~𝑟 → (𝑝 ∨ 𝑞)
Concluir C) 𝑝 ∨ 𝑞
Reglas de Inferencia
MODUS TOLLENDO PONENS
(TP) DEFINICIÓN:

› Es el método (modus), que negando

(tollendo) un miembro de una disyunción
se afirma (ponens) el otro miembro.

𝑝∨𝑞 𝑞 ∨ ~𝑟 𝑝∧𝑞
~𝑝 𝑟 ~(𝑝 ∧ 𝑞) ∨ ~𝑠
𝑞 𝑞 ~𝑠
Reglas de Inferencia
MODUS TOLLENDO PONENS
(TP) EJEMPLOS:
𝑝∨𝑞 › Conjunción: O estudio o
descanso
~𝑝
› Premisa (hecho): NO
𝑞 descanso
› Conclusión: Estudio
𝑞 ∨ ~𝑟 › Conjunción: Obedeces o
no sales
𝑟
› Premisa (hecho): Salgo
𝑞
› Conclusión: Obedezco
MODUS TOLLENDO PONENS
(TP) EJEMPLOS

~𝑟 → ~(𝑝 ∨ 𝑠)
𝑝∨𝑠
𝑟
Reglas de Inferencia

LEY DE CONJUNCIÓN (LC; A) DEFINICIÓN:

› Si existen dos premisas éstas se pueden
relacionar con una conjunción

𝑝 ~𝑟
𝑞 𝑝∨𝑞
𝑝∧𝑞 ~𝑟 ∧ (𝑝 ∨ 𝑞)
Reglas de Inferencia

LEY DE CONJUNCIÓN EJEMPLOS:

› p: Canto
𝑝 › q: Bailo
𝑞 › Conjunción; Canto y bailo
𝑝∧𝑞

~𝑟
𝑝∨𝑞
~𝑟 ∧ (𝑝 ∨ 𝑞)
POR EL MÉTODO DIRECTO
› partir de las siguientes › 5) TT 3,4
hipótesis:
› 6) TP 1,5
1) 𝑟 → ~𝑠 › 7) PP 2,6
2) ~ s → 𝑝 › 8) LC 7,4
3) ~𝑟 → 𝑞
4) ~𝑞

Demostrar C)~𝑝 ∧ ~𝑞
POR EL MÉTODO DIRECTO
› a partir de las siguientes › 5) 𝑟 TT 3,4
hipótesis:
› 6) ~ s TP 1,5
1) ~𝑟 ∨ ~𝑠 › 7) ~ p PP 2,6
2) ~ s → ~𝑝 › 8) )~𝑝 ∧ ~𝑞 LC 7,4
3) ~𝑟 → 𝑞
4) ~𝑞

Demostrar C)~𝑝 ∧ ~𝑞
Reglas de Inferencia

LEY DE SIMPLIFICACIÓN (LS) DEFINICIÓN:

› Si existen dos premisas relacionadas con
una conjunción, estas se pueden
simplificar a una sola de ellas

𝑝∧𝑞 𝑝∧𝑞

𝑝 𝑞
Reglas de Inferencia

LEY DE SIMPLIFICACIÓN EJEMPLOS:

› Canto y bailo
› Simplificación 1: Canto
𝑝∧𝑞 › Simplificación 2: Bailo

𝑝
Reglas de Inferencia

SILOGISMO HIPOTÉTICO (SH) DEFINICIÓN:

› Si el consecuente de una condicional es el antecedente

de una segunda se crea una tercera condicional con el
antecedente de la primera y el consecuente de la tercera

𝑝→𝑞 ~𝑟 → ~𝑞
𝑞→𝑟 (𝑠 ∧ 𝑝) → ~𝑟
𝑝→𝑟 (𝑠 ∧ 𝑝) → ~𝑞
Reglas de Inferencia

SILOGISMO HIPOTÉTICO (SH) EJEMPLOS:

𝑝→𝑞
𝑞→𝑟
𝑝→𝑟
 SE DEBE APLICAR LEYES
POR EL MÉTODO DIRECTO LÓGICAS
› a partir de las siguientes 5) -LDM 4
hipótesis:
6) TT 5
1) 𝑝 → ~𝑞 7) TP 2,6
2) 𝑝 ∧ 𝑟 ∨ 𝑠 8) LS 7
3) 𝑠 → (𝑡 ∨ 𝑢) 9) PP 1, 8
4) ~𝑡 ∧ ~𝑢

Demostrar C: ~𝑞
 SE DEBE APLICAR LEYES
POR EL MÉTODO DIRECTO LÓGICAS
› a partir de las siguientes 5) ~(𝑡 ∨ 𝑢) -LDM 4
hipótesis:
6) ~𝑠 TT 3, 5
1) 𝑝 → ~𝑞 7) 𝑝 ∧ 𝑟 TP 2,6
2) 𝑝 ∧ 𝑟 ∨ 𝑠 8) 𝑝 LS 7
3) 𝑠 → (𝑡 ∨ 𝑢) 9) ~𝑞 PP 1, 8
4) ~𝑡 ∧ ~𝑢

Demostrar C: ~𝑞
 SE DEBE APLICAR LEYES
POR EL MÉTODO DIRECTO LÓGICAS
› a partir de las siguientes
hipótesis:
1) 𝑝 → ~𝑞
2) ~𝑞 → ~𝑠
3) (𝑝 → ~𝑠) → ~𝑡
4) 𝑟 → 𝑡

Demostrar C: ~𝑟
 SE DEBE APLICAR LEYES
POR EL MÉTODO DIRECTO LÓGICAS
› a partir de las siguientes 5) 𝑝 → ~𝑠 SH 1,2
hipótesis:
6) ~𝑡 PP 3,5
1) 𝑝 → ~𝑞 7) ~𝑟 TT 4, 6
2) ~𝑞 → ~𝑠
3) (𝑝 → ~𝑠) → ~𝑡
4) 𝑟 → 𝑡

Demostrar C: ~𝑟
Reglas de Inferencia

DILEMA CONSTRUCTIVO (DC) DEFINICIÓN:

› Si los componentes de una disyunción son los
antecedentes de dos condicionales se obtiene una
disyunción de los consecuentes respectivos

𝑝→𝑟 ~r→ 𝑝
𝑞 → ~𝑠 𝑠 → 𝑞∧𝑡
𝑝∨𝑞 𝑠 ∨ ~𝑟

𝑟 ∨ ~𝑠 𝑝 ∨ (𝑞 ∧ 𝑡)
Reglas de Inferencia

DILEMA CONSTRUCTIVO (DC) EJEMPLOS:

𝑝→𝑞
𝑟→𝑡
𝑝∨𝑟

𝑞∨𝑡
 SE DEBE APLICAR LEYES
POR EL MÉTODO DIRECTO LÓGICAS
› a partir de las siguientes
hipótesis:
1) 𝑞 ∧ 𝑝 ∨ 𝑟
2) 𝑠 → ~𝑟
3) t → ~𝑟
4) 𝑠 ∨ 𝑡

Demostrar C: 𝑝 ∧q
 SE DEBE APLICAR LEYES
POR EL MÉTODO DIRECTO LÓGICAS
› a partir de las siguientes 5) ~𝑟 ∨ ~𝑟 DC 2, 3, 4
hipótesis:
6) ~𝑟 Idemp 5
1) 𝑞 ∧ 𝑝 ∨ 𝑟 7) 𝑞 ∧ 𝑝 TP 6, 1
2) 𝑠 → ~𝑟 8) p ∧ q Conm. 7
3) t → ~𝑟
4) 𝑠 ∨ 𝑡

Demostrar C: 𝑝 ∧q
Reglas de Inferencia

LEY DE ADICIÓN (LA) DEFINICIÓN:

› Si se tiene una premisa se le puede
adicionar otra mediante la disyunción

𝑝 ~𝑟

𝑝∨𝐴 ~𝑟 ∨ (𝑡 ∧ 𝑠)
Reglas de Inferencia

LEY DE ADICIÓN (LA) EJEMPLOS:

𝑝∨𝐴
Reglas de Inferencia

DILEMA DESTRUCTIVO (DD) DEFINICIÓN:

𝑝→𝑞
𝑟→𝑠
~𝑞 ∨ ~𝑠
~𝑞 ∨ ~𝑟
 SE DEBE APLICAR LEYES
POR EL MÉTODO DIRECTO LÓGICAS
› a partir de las siguientes 6)
hipótesis:
1) (𝑝 → 𝑟) → (~𝑎 ∨ 𝑏)
2) p → 𝑞
3) b → 𝑠
4) 𝑞 → 𝑟
5) ~a → 𝑠
 SE DEBE APLICAR LEYES
POR EL MÉTODO DIRECTO LÓGICAS
› a partir de las siguientes 6) 𝑝 → 𝑟 SH 2,4
hipótesis:
7) (~𝑎 ∨ 𝑏) PP 1,6
1) (𝑝 → 𝑟) → (~𝑎 ∨ 𝑏) 8) 𝑠 ∨ 𝑠 DC 3, 5, 7
2) p → 𝑞
9) 𝑠 S
3) b → 𝑠
10)𝑠 ∨ 𝑡 LA
4) 𝑞 → 𝑟
5) ~a → 𝑠
Reglas de Inferencia
LEY DE LA BICONDICIONAL
(LB) DEFINICIÓN:
› Si se tiene una premisa bicondicional se
cumple la condicionalidad en las dos
direcciones

𝑝⟷𝑞 𝑝⟷𝑞

𝑝⟶𝑞 𝑞⟶𝑝
DEMOSTRACIÓN
CONDICIONAL
› Una demostración › El antecedente asumido de
condicional es una prueba
que toma la forma de
afirmar un condicional y
demuestra que el
antecedente del
condicional lleva
necesariamente al
consecuente.
una prueba condicional se
llama supuesto de prueba
condicional (SPC). Por lo
tanto, el objetivo de una
prueba condicional es
demostrar que sí el SPC
fuera cierto, entonces la
conclusión deseada se
cumple
POR EL MÉTODO
CONDICIONAL
1) 𝑝 → 𝑞 4) 𝑝 SPC
2) 𝑞 ↔ 𝑠 5) 𝑝 → 𝑠 LB 2
3) 𝑡 ∨ (𝑟 ∧~s) 6) 𝑠 SH 1, 5
7) (𝑡 ∨ 𝑟) ∧ (𝑡 ∨ ~s) Ldis 3
Demostrar: 𝑝 → 𝑡 8) (𝑡 ∨ ~s) S7
9) 𝑡 TP 6, 7
10)𝑝 → 𝑡 MC 1,4
MÉTODO INDIRECTO
› Consiste en negar la tesis
del teorema y a partir de
esta proposición y
encontrar una
contradicción respecto a
las premisas, o una
proposición contraria
respecto a la suposición.
 POR EL MÉTODO INDIRECTO
1) 𝑔 → ℎ 4. ~𝑓 MI
2) ~𝑔 → ~(~𝑓) 5. ~ℎ S3
3) ~ℎ ∧ q 6. ~𝑔 TT 1, 5
7. 𝑓 PP 2,
Demostrar: 𝑓 6
8. 𝑓 ∧ ~f LC 4, 7
EJERCICIO
1) 𝑥 = 3 → 𝑦 ≮ 3 6) 𝑥 = 𝑦 S2
2) 𝑥 = 𝑦 ∧ 𝑥 ≮ 𝑦 7) 𝑥 ≮ 𝑦 S2
3) 𝑥 ≮ 5 ∨ 𝑦 < 3 8) 𝑥 = 𝑦 + 2 ∨ 𝑥 < 5 PP 4, 6
4) 𝑥 = 𝑦 → (𝑥 = 𝑦 + 2 ∨ 𝑥 < 5) 9) 𝑥 ≠ 𝑦 + 2 TT 5, 7
5) 𝑥 = 𝑦 + 2 → 𝑥 < 𝑦 10) 𝑥 < 5 TP 8, 9
11) 𝑦 < 3 TP 3, 10
C: 𝑥 ≠ 3 ∨ 𝑦 ≠ 1 12) 𝑥 ≠ 3 TT 1, 11
13) 𝑥 ≠ 3 ∨ 𝑦 ≠ 1 LA 12
Cuantificadores
CUANTIFICADOR EXISTENCIAL CUANTIFICADOR UNIVERSAL
› ∃: que se lee “existe” › ∀: que se lee “para
todo”
Cuantificadores
Cuantificadores

› A la función proposicional › Existe un x tal que:

𝑥+1=3
𝑃 𝑥 :𝑥 + 1 = 3 proposición verdadera
› Se la puede convertir en una
proposición anteponiendo un
cuantificador
› Para todo x:
𝑥+1=3
proposición falsa
Cuantificadores

› E claro que la una proposición ∀𝑥 (𝑃(𝑥))

es la negación de la otra
› Esto se expresa:
Ej: ∀𝑥 (𝑥 𝑑𝑖𝑐𝑒 𝑙𝑎 𝑣𝑒𝑟𝑑𝑎𝑑)
› La negación de ∀𝑥 (𝑃(𝑥))es:
∃𝑥 (~𝑃 𝑥 )
La negación ∃𝑥 (𝑃(𝑥)) ∃𝑥 (𝑃(𝑥))
∀𝑥 (~𝑃(𝑥))

Ej: ∃𝑥 (𝑥 𝑛𝑜 𝑑𝑖𝑐𝑒 𝑙𝑎 𝑣𝑒𝑟𝑑𝑎𝑑)

Cuantificadores

TÉRMINO PREDICADO
› Es una expresión con la que se › Es lo que se afirma del sujeto (o
nombra o designa un único sujetos) en una proposición
objeto
› Es una variable que al
sustituirla por una expresión
nombra un único objeto
› María está ausente › Las expresiones en rojo son los
términos y las palabras en azul
› Este libro es rojo son los predicados de una
› Dos es menor que tres proposición simple (atómica)
 › Ésta es una función
proposicional de una variable y
EJEMPLO 1 su valor de verdad depende de
› x es un número par dicha variable
› P(4) es “1”
› P(7) es “0”

› Una función proposicional simple (atómica) tiene un solo predicado,

sin embargo puede tener varios términos unidos al mismo.
› Rafael Correa nombró ministro de educación a Raúl Vallejo
› P(x,y)  x nombró a y
EJEMPLO 2
› x es alto › Función proposicional simple
que puede ser verdadera o
falsa
› Se puede transformar esta
fórmula en una proposición
utilizando el cuantificador
universal

∀𝑥 ∈ 𝑈 𝑃 𝑥 ↔ 𝑃𝑎𝑟𝑎 𝑐𝑎𝑑𝑎 𝑥 𝑒𝑛 𝑒𝑙 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑜 , 𝑥 𝑐𝑢𝑚𝑝𝑙𝑒 𝑃

Cuantificadores

EJEMPLO 3
Cada hombre es un animal › 𝐻 𝑥 ↔ 𝑥 𝑒𝑠 𝑢𝑛 ℎ𝑜𝑚𝑏𝑟𝑒
› 𝐴 𝑥 ↔ 𝑥 𝑒𝑠 𝑢𝑛 𝑎𝑛𝑖𝑚𝑎𝑙

(∀𝑥∈𝑈) 𝐻 𝑥 → 𝐴 𝑥
Cuantificadores

EJEMPLO 4
Ningún hombre es inmortal › 𝐻 𝑥 ↔ 𝑥 𝑒𝑠 𝑢𝑛 ℎ𝑜𝑚𝑏𝑟𝑒
› I 𝑥 ↔ 𝑥 𝑒𝑠 𝑖𝑛𝑚𝑜𝑟𝑡𝑎𝑙

(∀𝑥∈𝑈) 𝐻 𝑥 → ~𝐼 𝑥
EJEMPLO 5
› Dar el valor de verdad de la
siguiente expresión:
› Falso
› (∀𝑥 ∈ 𝑅)(𝑥 2 > 𝑥)
› Puesto que:
› (utilizamos el cuantificador
existencial)
› (∃𝑥 ∈ 𝑅)(~)(𝑥 2 > 𝑥)), para
› x= ½
EJEMPLO 6
› No toda mujer tiene pelo 𝑀 𝑥 ↔ 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑚𝑢𝑗𝑒𝑟
largo L 𝑥 ↔ 𝑥 𝑡𝑖𝑒𝑛𝑒 𝑝𝑒𝑙𝑜 𝑙𝑎𝑟𝑔𝑜
H conjunto de seres humanos

~(∀𝑥 ∈ 𝐻)(𝑀 𝑥 → 𝐿 𝑥 )
(∃𝑥 ∈ 𝐻)(𝑀 𝑥 ∧ ~𝐿 𝑥
TALLER 4