Razonamiento Matemático I
(CGM 150)
Introducción a la Lógica
Profesor:
José R. Terrero Dominici
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
F 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
F 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 V F F V V
V F F V V V V F V
F V 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) (2)3 8
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
Ejercicio:
Construye la tabla de verdad de cada proposición compuesta y
luego clasifícala como tautología, contradicción y contingencia.
p q p r p r
F
V
F
V
F
F
F
F Contingencia
