Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fundamentos de la
Lógica
Docente:
Ing. Eduardo González
Lógica Proposicional
Área de la matemática que trata las proposiciones y
el razonamiento lógico matemático.
La lógica son reglas que:
Dan significado a enunciados y sentencias
matemáticas.
Distinguen argumentos validos y no validos.
Se aplican en la construcción de programas y
circuitos de computadores.
Proposición
Puede ser
Oración declarativa
Simple Compuesta
Tiene un único valor lógico
Sin Con
conectivos conectivos
Verdadero Falso lógicos lógicos
Ejemplo: Ejemplo:
Pero El Sol es una El Sol es una
estrella estrella y la Tierra
gira alrededor del
Sol
No ambos a la vez
No son consideradas
proposiciones lógicas…
Las preguntas.
Oraciones que no son falsas ni verdaderas.
Oraciones imprecisas.
Oraciones que son falsas y verdaderas al mismo
tiempo.
Oraciones que carecen de sentido.
Ejemplos
Estructuras discretas es muy fácil .
Pi=3,1416.
La suma de los ángulos de un triángulo es igual a
480.
¿A qué hora salimos, profe?
X+Y=Z.
¡Presta atención!
La dirección de mi blog es
www.edlugome.wordpress.com
Profe, tengo sueño.
Ejemplos
Estructuras discretas es mi materia favorita .
Pi=3,1416.
La suma de los ángulos de un triángulo es igual a
480.
¿A qué hora salimos, profe?
X+Y=Z.
¡Presta atención!
La dirección de mi blog es
www.edlugome.wordpress.com
Profe, tengo sueño.
Lógica Proposicional
p: Mañana es viernes.
q: Existe el premio Nobel de informática.
r: Hola ¿Cómo estás?
s: 4+5= Maracaibo.
t: La tierra es el único planeta que tiene vida.
Ejercicios
p:Es una proposición lógica falsa.
q:Es una proposición lógica, su valor de la verdad
es 0.
r:No es una proposición lógica, es una pregunta.
s:No es una proposición lógica, carece de
contexto.
t:No es una proposición lógica, no se sabe si hay
vida en otros planetas, por lo tanto no sabemos si
es verdadera o falsa.
Proposiciones Compuestas
Si las proposiciones p, q, r, s se combinan para
formar la proposición P, diremos que P es una
proposición compuesta de p, q, r, s.
Ejemplo:
p: Isaac Newton es el padre de la física.
q: Estructuras Discretas es mi materia
favorita.
r: Él es inteligente.
s: Él estudia todos los días.
Proposiciones Compuestas
q: «2+4=8»
¬q: «Es falso que 2+4=8»
¬q: «2+4 ≠ 8»
Conjunción
Sean p y q proposiciones. La proposición << p y q >>,
denotada por p Ù q, es la proposición que es verdadera
cuando tanto p como q son verdaderas y falsa en
cualquier otro caso. Su tabla de verdad es:
p q p^q
0 0 0
0 1 0
1 0 0
1 1 1
Conjunción EJEMPLOS:
p: «Hoy es viernes.»
q: «Hoy llueve.»
p ^ q: «Hoy es viernes y hoy llueve.»
p®q
(Hipótesis o Causa) (Conclusión o Consecuencia)
p q p®q
0 0 1
0 1 1
1 0 0
1 1 1
Implicación o Condicional
FORMAS DE EXPRESAR EL CONDICIONAL
EN LENGUAJE NATURAL:
• «Si p, entonces q»
• «p implica q»
• «q si p»
• «p solo si q»
• «p siempre que q»
Bicondicional o Doble
Implicación
Sean p y q proposiciones, el Bicondicional o
Doble Implicación, p « q es la proposición que es
verdadera cuando p y q tienen los mismos valores
de verdad y falsa en los otros casos.
Su tabla de verdad es:
p q p« q
0 0 1
0 1 0
1 0 0
1 1 1
Bicondicional o Doble
Implicación
p ® (q Ú ¬r)
Equivalencias Proposicionales
Dos formulas son lógicamente
equivalentes si tienen los mismos
valores de verdad en todos los
casos. También se dice que p y q
son lógicamente equivalentes si p
« q es una tautología y se denota
por p º q.
Tautologías y Contradicciones
Sea P una proposición compuesta de las
proposiciones simples p, q, r,…
P es una Tautología si es verdadera para todos
los valores de verdad que se asignen a p, q, r, …
P es una Contradicción si es falsa para todos los
valores de verdad que se asignen a p, q, r,…
Una proposición P que no es tautología ni
contradicción se llama, usualmente,
Contingencia.
Tautologías y Contradicciones
Tautología Contradicción
p ¬p pÚ¬p pÙ¬p
1 0 1 0
0 1 1 0
Ejercicios:
• ¿Cuál es la negación de cada uno de los siguientes
enunciados?
a) Hoy es martes.
b) No hay contaminación en Ciudad Ojeda.
c) 2 + 1 = 3.
d) El clima en Mérida es cálido y soleado.