LÓGICA PROPOSICIONAL
Proposiciones
Es cualquier expresión para la cual tiene sentido
inequívoco decir si es verdadera o falsa. Es decir, se le
puede asociar el concepto de verdadero o falso, pero
no ambos.
Ejemplo:
La tierra es cuadrada
20 es un numero par
Lucas fue a trabajar
Denotaremos con letras minúsculas a las proposiciones (generalmente las
últimas el alfabeto); p, q, r, etc. y con V y F los términos verdadero y falso
respectivamente, que serán llamados “valores de verdad” de las
proposiciones.
Proposiciones compuestas
Una proposición es compuesta cuando sus partes son
proposiciones unidas por conectores, manteniendo el
significado de sus términos.
Por ejemplo, a partir de las proposiciones simples p y q
podemos construir las nuevas proposiciones compuestas:
• p: Alberto escribe
• q: El pizarrón es rectangular
s: Alberto escribe y el pizarrón es rectangular
t: Si Alberto escribe entonces el pizarrón es rectangular
Conjunción
Si p y q son proposiciones, se llama conjunción de p y q a la
proposición compuesta ¨p y q¨ y se denota por: p ∧ q
Ejemplo:
p:Hoy es Miércoles
q: La tierra es cuadrada
r: mañana es Jueves
p ∧ q: Hoy es Miércoles y la tierra es cuadrada
p ∧ r: Hoy es Miércoles y mañana es Jueves
Se toma como sinónimo de la conjunción : además, pero, sin
embargo, aunque, también, etc.
Para construir la tabla de p∧q debemos considerar
las diferentes alternativas de valores de verdad para p
y para q:
• Ambas verdaderas
• Una V y la otra F
• Ambas Falsas
Conjunción: (∧) Se utiliza para conectar dos proposiciones
que se deben cumplir para que se pueda obtener un
resultado verdadero.
Disyunción
Si p y q son proposiciones, se llama disyunción de p
y q a la proposición compuesta ¨p 𝑜 q¨ y se denota
por: p∨q
Ejemplo:
p: Voy a ser medico
q: Voy a ser futbolista
r: Voy a ser ingeniero
p ∨ q: Voy a ser medico o voy a ser futbolista
p ∨ r: Voy a ser medico o voy a ser ingeniero
Para construir la tabla de p∨q debemos
considerar las diferentes alternativas de valores de
verdad para p y para q:
• Ambas verdaderas
• Una V y la otra F
• Ambas Falsas
Disyunción: (V) Con este operador se obtiene un resultado
verdadero cuando alguna de las proposiciones es
verdadera. (trabajaremos con la disyunción inclusiva)
Condicional: ⟹ Una proposición condicional Bicondicional: ⇔ La doble
es aquella que está formada por dos
implicancia es verdadera si las
proposiciones simples o compuestas p y q. El
condicional será falso solo cuando el
proposiciones que la componen
antecedente es verdadero y el consecuente es tienen el mismo valor de verdad.
falso.
Negación: El operador no ∼ tiene como
función negar la proposición. Esto significa que
si alguna proposición verdadera se le aplica el
operador negación se obtiene su complemento
o negación.
Las tablas de valores de verdad son una herramienta
desarrollada en lógica para determinar los posibles valores de
verdad de una expresión o proposición. Puede estar formada
por filas y columnas, y el número de filas depende del número
de proposiciones diferentes que conforman una proposición
compuesta. Así mismo, el número de columnas depende del
número de proposiciones que integran la proposición y del
número de operadores lógicos contenidos en la misma.
En general se tiene la siguiente expresión para calcular el
número de filas de una tabla de verdad: 2n, donde n es el
número de proposiciones diferentes que integran una
proposición compuesta.
Actividad:
3) Construir las tablas de valores de verdad de cada una de las
siguientes proposiciones compuestas:
a) q ∧ p ⟹ r
Clasificación de proposiciones:
Llamamos TAUTOLOGIA a aquella proposición compuesta cuyo
valor de verdad es siempre verdadero en forma independiente
del valor de verdad de las proposiciones simples que la
componen; llamamos CONTRADICCION a aquella proposición
cuyo valor de verdad es siempre falso. Si el valor de verdad de
una proposición compuesta depende del valor de verdad de las
proposiciones simples que la componen se dice que es una
CONTINGENCIA.
Leyes de equivalencia:
Leyes Simbolización
Conmutativa p∧q ⟺ q∧p
p∨q ⟺ q∨p
Asociativa p∧ q∧r ⟺ p∧q ∧r
𝑝∨ 𝑞∨𝑟 ⟺ 𝑝∨𝑞 ∨𝑟
Distributiva p∧ q∨r ⟺ 𝑝∧𝑞 ∨ 𝑝∧𝑟
p∨ q∧r ⟺ 𝑝∨𝑞 ∧ 𝑝∨𝑟
De Morgan ∽ 𝑝 ∧ 𝑞 ⟺ ∽ 𝑝 ∨∽ 𝑞
∽ p ∨ q ⟺ ∽ p ∧∽ q
Doble negación ∽ ∽𝑝 ⟺p
Transposición p ⟹ q ⟺ ∽ q ⟹∽ p
Implicación material 𝑝⟹𝑞 ⟺ ∽𝑝∨𝑞
Equivalencia material p⟺q ⟺ p⟹q ∧ q⟹p
Tautología p⟺ p∧p
p⟺ p∨p
Actividad:
9) Utilizando las leyes de equivalencia adecuadas,
simplifiquen las siguientes proposiciones compuestas:
a) ∽ ∽ p ∨∽ q
10) Negar las siguientes proposiciones, si fuera
necesario utilicen leyes de equivalencia:
a) p ∨ q ⟹∽ r
