Razonamiento Matemático I

(CGM-150)

Introducción a la Lógica

Profesora:
Ileana Miyar Fernández
 Introducción a la lógica

Definiciones:

Lógica:
Es una ciencia formal que estudia la estructura o
formas del pensamiento humano (como
proposiciones, conceptos y razonamientos) para
establecer leyes y principios válidos para obtener
criterios de verdad.

Razonamiento:
Es el acto mental a través del cual llegamos a
conclusiones válidas a partir de premisas dadas.
 Introducción a la lógica

Definiciones:

Juicio:
Es el acto mental a través de cual pensamos algo.

Enunciado

Es el conjunto de símbolos a través del cual

expresamos lo pensado en un juicio ya sea de
forma oral o escrita
 Introducción a la lógica
Definiciones:
Clasificación de los enunciados
De manera general, podemos clasificar los
enunciados en:

 Abiertos  Sin sentido

 Cerrados  Sin valor de verdad

 Con sentido  Con valor de verdad

 Introducción a la lógica
Definiciones:
Proposición:
Es un enunciado cerrado y que tiene valor de
verdad.
Ejercicio
Indica cuáles de los enunciados siguientes son
proposiciones.

(1) Hoy es jueves Proposición

(2) Juan Pablo Duarte murió en Venezuela Proposición

(3) La Luna es el satélite de la Tierra Proposición

 Introducción a la lógica

(4) ¿Qué hora es? No es proposición

(5) ¡ Cuidado con la puerta ! No es proposición

(6) Me gusta el aroma del café en la mañana No es

Proposición

(7) El entró a la habitación y entonces… No es

proposición
(8) 10+15 = 50 Proposición

(9) 8+4 >10 Proposición

(10) x+10 =50 No es Proposición

 Introducción a la lógica

Clasificación de las proposiciones

Las proposiciones se clasificase en:

Simples: Cuando constan de un único enunciado.

Compuestas: Cuando constan de dos o más

enunciados, entrelazados por uno o más conectivos
lógicos.
 Introducción a la lógica

Conectores lógicos:

Símbolo Nombre Se lee

Λ Conjunción “y”

v Disyunción “ o”

Implicación “Si, entonces…”

Doble
Implicación “Sí y solo si”

~ Negación No/ no es cierto que

 Introducción a la lógica
Ejercicio:
Dadas las proposiciones:

p: Llueve
q: Hace calor
r: Me quedaré en casa

(1) p Λ q

Llueve y hace calor

(2) ~p Λ ~r
No llueve y no me quedaré en casa
Ejercicio: Introducción a la lógica
Dadas las proposiciones:
p: Llueve q: Hace calor r: Me quedaré en casa

(3) p v r

Llueve o me quedaré en casa

(4) p r

Si llueve, entonces me quedaré en casa

(5) r p

Me quedaré en casa, sí y solo si, llueve

 Introducción a la lógica
Tablas de verdad
Conjunción
Es una proposición compuesta, formada por dos
proposiciones simples y que solo es verdadera cuando
las dos que la forman son verdaderas.

p q pΛq
V V V
V F F
F V F
F F F
 Introducción a la lógica
Tablas de verdad
Disyunción
Es una proposición compuesta, formada por dos
proposiciones simples y que solo es falsa cuando las
dos que la forman son falsas.

p q pvq
V V V
V F V
V V V
F F F
 Introducción a la lógica
Tablas de verdad
Implicación (condicional)
Es una proposición compuesta, formada por dos
proposiciones simples y que solo es falsa cuando la
primera (antecedente) es verdadera y la segunda
(consecuente) es falsa.

p q p q
V V V
V F F
V V V
F F V
 Introducción a la lógica
Tablas de verdad
Doble implicación (bicondicional)
Es una proposición compuesta, formada por dos
proposiciones simples y que solo es verdadera cuando
las dos que la forman tiene el mismo valor de verdad.

p q p q
V V V
V F F
F V F
F F V
 Introducción a la lógica
Tautología:
Es una proposición compuesta cuyo valor de verdad es
siempre es verdadero independientemente del valor de
verdad de las proposiciones que la componen.

Contradicción
Es una proposición compuesta cuyo valor de verdad
que siempre es falso independientemente del valor de
verdad de las proposiciones que la componen.

Contingencia
Es una proposición compuesta cuyo valor de verdad
puede ser falso o verdadero, dependiendo del valor de
verdad de las proposiciones que la componen.
 Introducción a la lógica
Ejercicio
Construye la tabla de verdad de cada proposición
compuesta y luego clasifícala como tautología,
contradicción y contingencia.

(1) [(pv~q) (~p q)] v (p Λ q)]

p q ~p ~q pv~q ~p q (pv~q) (~p q) pΛq

V V F F F F V
V V
V F F V V V V F V
V
F V F F V V F V
F F V V V F F F F
La proposición es una contingencia
 Introducción a la lógica
(2) [(pΛ~q) (~rΛp)] (~qv~r)

p q r ~q ~r pΛ~q ~rΛp (pΛ~q) (~rΛp) ~qv~r

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

La proposición es una contingencia

Construye la tabla de verdad de cada proposición compuesta y

 Introducción a la lógica
Negación de una condicional
Negación de la condicional p q

Completa la tabla siguiente y comprueba que la

negación de la proposición p q es p Λ ~q

p q ~q p q p Λ ~q
V V F V F
V F V F V
F V F V F
F F V V F
 Introducción a la lógica p Λ ~q
Negación de una condicional
Ejercicio:
Escribe la negación de cada condicional
p q
(1) Si llueve, entonces los arboles florecen

Llueve y los arboles no florecen

(2) Si tomas al conducir entonces te accidentas

Tomas al conducir y no te accidentas

(3) Si eres menor de edad, entonces no puedes votar

Eres menor de edad y puedes votar
 Introducción a la lógica
Condicionales relacionadas

Consideremos la condicional p q la cual

denominaremos proposición directa, se pueden
escribir las siguientes proposiciones relacionadas:

Recíproca: q p

Inversa: ~p ~q

Contrapositiva: ~q ~p
 Introducción a la lógica
Condicionales relacionadas
Ejercicio:
Completa la tabla siguiente y determina cuales
proposición son lógicamente equivalentes.
Directa Recíproca Inversa Contrapositiva
p q ~p ~q p q q p ~p ~q ~q ~p
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V
Conclusión:
La directa y la contrapositiva son lógicamente equivalentes
La recíproca y la inversa son lógicamente equivalentes
 Introducción a la lógica
Condicionales relacionadas
Ejercicio:
Escribe la recíproca, inversa y contrapositiva de cada
proposición.
p q
(1) Si naciste en Santiago, entonces eres dominicano
Recíproca: q p

Si eres dominicano, entonces naciste en Santiago

Inversa: ~p ~q

Si no naciste en Santiago, entonces no eres dominicano

Contrapositiva: ~q ~p

Si no eres dominicano, entonces no naciste en Santiago

 Introducción a la lógica
Condicionales relacionadas
Ejercicio:
Escribe la recíproca, inversa y contrapositiva de cada
proposición.
p q
(2) Si lees mucho, entonces eres un sabio
Recíproca: q p

Si eres un sabio, entonces lees mucho

Inversa: ~p ~q
Si no lees mucho, entonces no eres un sabio
Contrapositiva: ~q ~p
Si no eres un sabio, entonces no lees mucho
 Introducción a la lógica
Condicionales relacionadas
Ejercicio:
Escribe la recíproca, inversa y contrapositiva de cada
proposición.
p q
(3) Si eres menor de edad, entonces no puedes votar
Recíproca: q p

Si no puedes votar, entonces eres menor de edad

Inversa: ~p ~q
Si no eres menor de edad, entonces puedes votar
Contrapositiva: ~q ~p
Si puedes votar, entonces no eres menor de edad
 Introducción a la lógica
Negación proposiciones que contienen cuantificadores

Las expresiones: todos, cada uno, ninguno, etc.,

se denomina cuantificadores universales, mientras
que las expresiones como: hay, existe, al menos
uno, etc. Se denominan cuantificadores
existenciales.

Si una proposición es verdadera, su negación debe ser

falsa, y viceversa, debe ser verdadera si la
proposición dada es falsa, en todos los casos posibles.

Cuando se niega una proposición que contiene

cuantificadores, hay que tener cuidado, ya que es
frecuente que escribamos expresiones que no
representan la negación buscada.
 Introducción a la lógica
Negación proposiciones que contienen cuantificadores
Ejercicio:
Considera los grupos siguientes:
I: María Laura, María Luisa, María Inés, María Teresa
II: María Beatriz , María Victoria, Ana Lissette, Iris Verónica
III: Andrea , Liz Victoria, Grey Vanessa, Katherine Nicole

¿Cuál será la negación de la proposición: Todas las niñas

del grupo se llaman María?

(1) Ninguna niña del grupo se llama María

(2) Alguna niña del grupo no se llama María
(3) Todas las niñas del grupo no se llaman María
 Introducción a la lógica
Negación proposiciones que contienen cuantificadores
Grupo I: María Laura, María Luisa, María Inés, María Teresa
Grupo II: María Beatriz, María Victoria, Ana Lissette, Iris Verónica
Grupo III: Andrea , Liz Victoria, Grey Vanessa, Katherine Nicole

Proposición Grupo I Grupo II Grupo III

Todas las niñas del grupo

se llaman María V F F
Ninguna niña del grupo se
llama María F F V
Alguna niña del grupo no
F V V
se llama María
Todas las niñas del grupo
F F V
no se llaman María
 Introducción a la lógica
Negación proposiciones que contienen cuantificadores
Grupo I: María Laura, María Luisa, María Inés, María Teresa
Grupo II: María Beatriz, María Victoria, Ana Lissette, Iris Verónica
Grupo III: Andrea , Liz Victoria, Grey Vanessa, Katherine Nicole

Proposición Grupo I Grupo II Grupo III

Todas las niñas del grupo

se llaman María V F F
Ninguna niña del grupo se
llama María F F V
Alguna niña del grupo no
F V V
se llama María
Todas las niñas del grupo
F F V
no se llaman María
Negación
 Introducción a la lógica
Negación proposiciones
que contienen cuantificadores

Guía para obtener la negación

Proposición Negación
Todos cumplen Alguno(s) no cumple(n)

Algunos cumplen Ninguno cumple

 Introducción a la lógica
Ejemplos:
Escribe la negación de cada proposición

(1) Algunos gatos tiene pulgas

Ningún gato tiene pulgas

(2) Algunos gatos no tienen pulgas

Todos los gatos tienen pulgas

(3) Ningún gato tiene pulga

Algunos gatos tienen pulgas
 Introducción a la lógica
Ejemplos:
Escribe la negación de cada proposición

(4) Algunos libros son interesantes

Ningún libro es interesante

(5) Todos aman los ganadores

Algunos no aman a los ganadores

(6) Algunas personas tienen mucha suerte

Ninguna persona tiene mucha suerte
 Introducción a la lógica
Argumentos

Definición:
Se denomina argumento a la relación entre un conjunto
de proposiciones P1, P2, P3,…, Pn denominadas premisas y
otra proposición q denominada conclusión.

Los argumentos suelen expresarse en la forma:

P1, P2, P3,…, Pn  q

Un argumento es válido si la conclusión es verdadera

siempre que las premisas sean verdaderas.

Un argumento que no es válido se denomina falacia.

 Introducción a la lógica
Argumentos
Ejemplos
Verifica si e válido el argumento: p  q, r  q, r  q
P3 C P1 P2
p q r q pq r q
V V V F V V
V V F F V V
V F V V F F El argumento
V F F V F es una falacia
V
F V V F V V
F V F V V V
F F V V V F
F F F V V V

V
 Introducción a la lógica
Ejemplos Argumentos
El argumento
(2) Verifica si es válido el argumento: es una falacia
p  q,  r  q  p  r
P1 P2 C
p q r q r p  q  r  q p  r
V F V F F F V F
V F F F V F F V
V V V V F V V F
V V F V V V V V
F F V F F V V V
F F F F V V F V
F V V V F V V V
F V F V V V V V

V
 Introducción a la lógica
Argumentos
(3)
p q
Si Sin Banderas viene al pueblo, entonces voy al concierto.
Si voy al concierto, entonces me reportaré enfermo al trabajo.
q r

Si Sin banderas viene al pueblo, entonces me reportaré enfermo

al trabajo. p r

pq , qr  pr

 Introducción a la lógica
Argumentos

Solución: p  q, q  r  p  r

P1 P2 C
p q r pq qr pr
V V V V V V
V V F V F F El argumento
F V F V es válido
V V
V F F F V F
F V V V V V
F V F V F V
F F V V V V
F F F V V V

V
 Introducción a la lógica
Reglas de inferencia
P P
PQ
(1) P  Q (2) (3) PQ
P
Adición
Q
Simplificación
Modus ponens

PQ PQ PQ

(4) Q (5) P (6)
QR
 P Q P  R
Modus tollens
Silogismo disyuntivo Silogismo hipotético
 Introducción a la lógica
Reglas de inferencia
Ejemplos:
Demostrar que una proposición es una consecuencia lógica
de las premisas dadas. Deducir la conclusión, escribiendo la
abreviatura que corresponde a la regla que permite obtener
cada línea, y cuando se empleen líneas deducidas
anteriormente, indicar el número de cada línea que ha sido
utilizada al aplicar la regla.

(A) Demostrar:  T P
(1) R  T PQ
(2) S  R
Q
(3) S
Modus ponens
(4) R (2) Y (3) Modus ponens
(5)  T (1) Y (4) Modus ponens
 Introducción a la lógica
Reglas de inferencia
Ejemplos:

(B) Demostrar: G PQ

QR
(1)  H  J P  R
(2)  H Silogismo hipotético

(3)  J  G
P
(4)  H G (1) Y (3) Silogismo hipotético
PQ
(5) G (2) Y (4) Modus ponens
Q
Modus ponens
 Introducción a la lógica
Reglas de inferencia
Ejemplos:

(C) Demostrar: M  N

(1)  J  M  N P
(2) F  G  J
PQ
(3) F G
Q

(4) J (2) Y (3) Modus ponens Modus ponens

(5) MN (1) Y (4) Modus ponens

 Introducción a la lógica
Reglas de inferencia
P PQ
P PQ (4)  Q
(1) (2) (3) P  Q
P  Q P
Q  P
Adición Simplificación Modus ponens Modus tollens

PQ
PQ
(5)  P Silogismo Silogismo
disyuntivo (6) Q  R hipotético
Q P  R