LÓGICA
PROPOSICIONAL
p⇒q
Lógica Estudio y formalización del razonamiento
● Elimina toda ambigüedad
● Utiliza símbolos y reglas formales que permiten expresarnos sin dar lugar a distintas
interpretaciones.
● Los métodos lógicos se usan en matemática para demostrar teoremas y, en ciencias de la
computación, para probar que los programas hacen lo que deben hacer.
Por ejemplo: en una ocasión, se publicó el siguiente decreto en Naperville, Illinois: “Será ilegal que una
persona tenga más de tres perros y tres gatos en su propiedad dentro de la ciudad”. Un ciudadano que
tenía cinco perros y ningún gato, ¿violaba el decreto?
Es verdadera?
Para evitar esta ambigüedad la lógica es muy
Es Falsa? precisa
PROPOSICIONES Es todo enunciado susceptible de ser V o F
¿Cuál de las siguientes oraciones son verdaderas o falsas (pero no ambas)?
a) Todos los lunes llueve. FALSA (F)
b) ¿Qué dia es hoy?
c) 10 - 7 = 3 VERDADERA (V)
d) X es un número mayor que 10 (es una FUNCIÓN PROPOSICIONAL)
e) Chau!
Una oración que es verdadera o falsa, pero no ambas, se llama una proposición.
PROPOSICIONES LÓGICAS
USAREMOS VARIABLES COMO p, q Y r , PARA REPRESENTAR LAS PROPOSICIONES.
TAMBIÉN ES USUAL USAR LA NOTACIÓN (POR EJEMPLO)
p: 1+1=3
PARA DEFINIR QUE p ES LA PROPOSICIÓN “1+1=3”
La proposición anterior es falsa, es decir su VALOR DE VERDAD es FALSO. Esto último lo
denotamos como:
v(p)= F
Se lee: “el valor de verdad de la proposición p es falso”
PROPOSICIONES SIMPLES Y COMPUESTAS
La oraciones “todos los lunes llueve” y “10-3=7” son proposiciones SIMPLES (comunican una
única idea)
Si se combinan
Proposiciones
Proposiciones
simples
COMPUESTAS
Mediante operaciones lógicas
OPERACIONES LÓGICAS
CONJUNCIÓN ∧
DISYUNCIÓN INCLUSIVA ∨
Operaciones
Lógicas DISYUNCIÓN EXCLUYENTE ⩡
CONDICIONAL ⇒
BICONDICIONAL ⇔
NEGACIÓN ¬
OPERACIONES LÓGICAS
Ejemplo 1:
Sean
p: “Dos en un número irracional”
q: “La fórmula química del agua es H₂O”
Entonces, si deseamos formar una proposición compuesta de conjunción entre las proposiciones
simples dadas, tendríamos:
“Dos es un número irracional y la fórmula química del agua es H₂O”
En símbolos es:
p∧q
Si la proposición compuesta fuera de disyunción, tendríamos:
“Dos es un número irracional o la fórmula química del agua es H₂O”
En símbolos es:
p∨q
Pero, ¿Cuál será el valor de verdad de estas nuevas proposiciones?
OPERACIONES LÓGICAS
Ejemplo 2:
Sean
p: “Está lloviendo”
q: “El cielo está nublado”
El valor de verdad de la conjunción p ∧ q está determinado por los valores verdaderos de p y q.
Si está lloviendo (es decir, p es verdadera) y también el cielo está nublado (es decir,
q también es verdadera), entonces la proposición
p ∧ q: “Está lloviendo y el cielo está nublado”
se consideraría verdadera. Sin embargo, si no está lloviendo (esto es, p es falsa) o si el cielo no está nublado (q es falsa) o
ambas, entonces la proposición
p ∧ q: Está lloviendo y el cielo está nublado
se consideraría falsa.
Los valores de verdad de las proposiciones, tales como conjunciones o disyunciones,
se pueden describir por las tablas de verdad.
Tablas de verdad
Dada una proposición P, formada por las proposiciones individuales p₁, p₂, . . . , pn, una tabla de
verdad de P enumera todas las posibles combinaciones de los valores de verdad para p₁, p₂, . . . ,
pn, donde V denota verdadero y F denota falso, y da la lista de valores de verdad de P para cada
combinación. Se usa una tabla de verdad para dar la definición formal de los valores de verdad
de p ∧ q.
p q p∧q
V V V “SOLAMENTE ES VERDADERA
CUANDO TODAS LAS
V F F PROPOSICIONES SON
VERDADERAS”
F V F
F F F
TABLAS DE VERDAD DISYUNCIÓN
INCLUSIVA EXCLUYENTE
p q p∨q p q p⩡q
V V V V V F
V F V V F V
F V V F V V
F F F F F F
“SOLAMENTE ES FALSA CUANDO TODAS LAS
PROPOSICIONES SON FALSAS”
TABLAS DE VERDAD
Retomando el ejemplo 1….
p: “Dos en un número irracional”
q: “La fórmula química del agua es H₂O”
La conjunción de estas dos proposiciones resulta que es FALSA porque
p es FALSA y q es VERDADERA
La disyunción de estas dos proposiciones resulta que es VERDADERA
p q p∧q p q p ∨q
V V V V V V
V F F V F V
F V F F V V
F F F F F F
TABLA DE VERDAD NEGACIÓN
La negación de p, denotada por ¬p, es la proposición no p.
El valor de verdad de esta proposición ¬p se define por la tabla de verdad
p ¬p
V F
F V
Algunas veces escribimos ¬p para decir “no ocurre que p”. Por ejemplo, si
p: París es la capital de Inglaterra,
la negación de p se escribe como
¬p: No ocurre que París es la capital de Inglaterra.
o más fácil como
¬p: París no es la capital de Inglaterra.
TABLA DE VERDAD CONDICIONAL
Si p y q son proposiciones, la proposición “si p entonces q” se llama proposición condicional y se
denota por
p⇒q
La proposición p se llama hipótesis (o antecedente) y la proposición q recibe el nombre de
conclusión (o consecuente).
El valor verdadero de la proposición condicional p ⇒ q está definido por la siguiente tabla
de verdad:
p q p ⇒q
V V V
El condicional es FALSO únicamente cuando el
V F F antecedente es verdadero y el consecuente
falso
F V V
F F V
TABLA DE VERDAD BICONDICIONAL
Si p y q son proposiciones, la proposición “p si y sólo si q” se llama proposición bicondicional y se
denota por
p⇔q
El valor verdadero de la proposición condicional p ⇔ q está definido por la siguiente tabla
de verdad:
p q p ⇔q
Una manera alternativa de establecer “p si y sólo si q” es “p es
V V V una condición necesaria y suficiente para q”.
La proposición “p si y sólo si q” algunas veces se escribe
V F F p ssi q.
F V F
F F V
Todos los casos que vimos operamos con 1 o dos proposiciones……
¿Cómo será la tabla de verdad de una proposición compuesta que contiene 3 proposiciones
simples? ¿y si contiene 4?
p q r
V V V En general:
Si una proposición compuesta tiene n proposiciones
V F V simples, la tabla de verdad tiene renglones
F V V
F F V
V V F
V F F
F V F
F F F
PRECEDENCIA DE OPERACIONES
¿Cómo se resuelve la siguiente operación?
2+3*8= 26
2+(3*8)=26
En las operaciones lógicas, para evitar poner paréntesis, corchetes o llaves, existe un orden o
PRECEDENCIA DE LAS OPERACIONES que se expresa en la siguiente tabla
1 ¬ ¿Cómo se interpreta ¬p ∧ q ⇒ r?
2 ∧ 1) ¬[p ∧( q ⇒ r)]
2) [(¬p) ∧ q] ⇒ r CORRECTA
3 ∨ 3) (¬p) ∧ (q ⇒ r)
4) ¬[(p ∧ q) ⇒ r]
4 ⇒
5 ⇔
Teniendo en cuenta las operaciones lógicas, construir la tabla de verdad de las siguientes proposiciones
compuestas
1) (p ∧ r ) ⇒ r
2) q⇒p∨q
3) p ∧ ¬p
1) (p ∧ r ) ⇒ r
p r p∧r (p ∧ r ) ⇒ r
V V V V
V F F V
F V F V
F F F V
Teniendo en cuenta las operaciones lógicas, construir la tabla de verdad de las siguientes proposiciones
compuestas
1) (p ∧ r ) ⇒ r
2) p∨q⇒q
3) p ∧ ¬p
2) p ∨ q ⇒ q
p q p∨q p∨q⇒q
V V V V
V F V F
F V V V
F F F V
Teniendo en cuenta las operaciones lógicas, construir la tabla de verdad de las siguientes proposiciones
compuestas
1) (p ∧ r ) ⇒ r
2) p∨q⇒q
3) p ∧ ¬p
3) p ∧ ¬p
p ¬p p ∧ ¬p
V F F
F V F
p r p∧r (p ∧ r ) ⇒ r 2) p q p∨q p∨q⇒ 3)
1)
q
p ¬p p ∧ ¬p
V V V V V V V V
V F F
V F F V V F V F
F V F
F V F V F V V V
F F F V F F F V
TAUTOLOGÍA CONTINGENCIA CONTRADICCIÓN
Tautologías, contradicciones y contingencias
❖ Una proposición compuesta que es SIEMPRE VERDADERA, independientemente de los
valores de verdad de las proposiciones simples que la forman, se llama TAUTOLOGÍA
❖ Una proposición compuesta que en algunos casos es verdadera y en otros falsa
dependiendo de los valores de verdad de las proposiciones simples que la forman, se
llama CONTINGENCIA
❖ Una proposición compuesta que es SIEMPRE FALSA, independientemente de los valores
de verdad de las proposiciones simples que la forman, se llama CONTRADICCIÓN
Ejercicio 1
Suponiendo que p y r son falsas y que q y s son verdaderas, encuentre el valor de verdad de la siguiente proposición
[s ⇒(p∧¬r)]∧ {[(p ⇒(r ∨q)]∧s}
p q r s ¬r p∧¬ s ⇒ r p ⇒(r [(p ⇒(r ∨q)] [s ⇒(p∧¬r)]∧ {[(p
r (p∧¬r) ∨q ∨q) ∧s ⇒(r ∨q)]∧s}
F V F V V F F V V V F