Download Lógica proposicional - circulosmatematicos

Document related concepts

Proposición wikipedia , lookup

Función proposicional wikipedia , lookup

Lógica proposicional wikipedia , lookup

Doble negación wikipedia , lookup

Gráficos existenciales wikipedia , lookup

Transcript
Lógica proposicional
Elaborado por Profesor Ronald Chén
La lógica proposicional es una rama de la lógica matemática que se ocupa del estudio de la
proposición, su verdad o falsedad. La lógica proposicional es también conocido por los
nombres de lógica proposicional, cálculo proposicional y cálculo proposicional.
Contenido
Proposición y valor de verdad
Notación
Expresiones no proposicionales
Enunciados abiertos
Clasificación de las proposiciones
Proposición simple
Proposición compuesta
Aplicaciones:
Proposición y valor de verdad
La proposición es el significado de una idea, enunciado, conjunto de palabras o letras a las
que se les puede asignar uno y sólo uno de los valores de verdad, que pueden ser:
Verdadero (V) o falso (F), pero no ambos valores a la vez.
Notación:
Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra
p, es decir, p, q, r, s, t, … etc.
Ejemplos:
p: El triángulo tiene tres lados.
t: 11 + 13 + 17 = número par
s: Chamelco es un municipio de Guatemala.
r: Ricardo Arjona es un cantautor y músico guatemalteco.
u: 2 es menor que 3 y 3 es múltiplo de 5.
(V)
(F)
(V)
(V)
(F)
Página 1 de 4
Expresiones no proposicionales
Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos
tenemos a los exclamativos, interrogativos o imperativos.
Ejemplos:




¿Cómo te llamas?
Prohibido pasar.
Borra el pizarrón.
¡Apúrate!
Enunciados abiertos
Son expresiones que contienen “variables” y que no tienen la propiedad de ser verdaderos o
falsos. También se les conoce con el nombre de función proposicional.
Ejemplos:



El nació en la ciudad de Guatemala.
𝑥<5
3 + 𝑦 = 21
Clasificación de las proposiciones
Proposición simple
Aquellas proposiciones que constan o se les puede representar por una sola variable, se
llaman proposiciones simples o atómicas. Es un enunciado que da solamente una
información verdadera o falsa.
Ejemplo:
m: Nueve es múltiplo de tres.
n: El litro es una medida de capacidad.
s: El metro es mayor que la yarda.
t: tres es menor que ocho.
Página 2 de 4
Proposición compuesta
Cuando una proposición consta de dos o más enunciados simples, se le llama proposición
compuesta o molecular. Una proposición es compuesta cuando se construye uniendo dos o
más proposiciones simples, y por ello, nos da más de una información.
Ejemplo:
Aplicaciones:
Problema 1. Se nos da que:
1) Todos los seres vivos duermen.
2) Todos los seres vivos tienen los ojos cerrados cuando duermen.
3) Todos los hombres son seres vivos.
Verdadero o falso:
“Todos los hombres tienen los ojos cerrados cuando duermen.”
A. Verdadero
B. Falso
C. Información insuficiente
Problema 2. Sabemos que:


Para hacer un pastel, debemos usar polvo de hornear.
Algunos pasteles utilizan fresas como decoración.
He hecho un pastel.
¿Qué podemos decir acerca de la siguiente afirmación?
“He utilizado tanto el polvo de hornear y la fresa para mi pastel.”
Página 3 de 4
A. Verdadero
B. Falso
C. Información insuficiente
Problema 3. Siempre que un aspirante a escritor escribe en su blog, escribe todos los días
durante 3 días consecutivos y luego descansa el día siguiente.
Durante una semana en particular, escribió el jueves, el viernes y el sábado.
¿Escribió en su blog el miércoles de esa misma semana?
A. Si
B. No
C. Información insuficiente
Problema 4. ¿Cuántos de los siguientes enunciados son proposiciones?
I.
II.
III.
IV.
V.
VI.
VII.
VIII.
IX.
X.
Miguel Ángel Asturias ganó el premio nobel de literatura.
97 es un número primo.
Diego es doctor.
Hola, ¿Cómo estás?
¡No fume!
¡Ojalá salga el sol!
Sólo sé que nada sé.
Dios existe.
𝑥<7
𝐴 + 1 = 10
Problema 5. Este es un problema famoso en el estudio del
razonamiento deductivo y la lógica.
Se le muestra un conjunto de cuatro cartas colocadas sobre una
mesa, cada una de las cuales tiene un número en un lado y un color
en el otro lado.
Las caras visibles de las tarjetas muestran 3, 8, rojo y marrón.
¿Qué cartas debe voltear para probar la verdad de la proposición de que, si una carta muestra un
número par en una cara, entonces su cara opuesta es roja?
A.
B.
C.
D.
8
8 y marrón
8 y rojo
8, rojo y marrón
Página 4 de 4