Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LÓGICA PROPOSICIONAL
1 Proposiciones Lógicas
• — Una proposición lógica es un enunciado al cual se le puede asignar un valor de
verdad, verdadero (V ) o falso (F ). Denotaremos a estas por letras minúsculas
p, q, r, . . . etc.
— A partir de proposiciones podemos construir otras proposiciones mediante opera-
ciones básicas ( proposiciones compuestas). Estas operaciones son: la negación,
la conjunción o producto lógico, la disyunción o suma lógica, la disyunción ex-
cluyente, la implicación o condicional y la doble implicación o bicondicional.
2 Conectivos Lógicos
• — Al operar con proposiciones y según sean tales operaciones, se utilizan ciertos
sı́mbolos, llamados Conectivos Lógicos
3 Tablas de Verdad
• — Las operaciones básicas se definen mediante Tablas de Verdad.
— Para la negación de una proposición p, se tiene la tabla de verdad
p p̄
V F
F V
1
En este contexto las operaciones básicas quedan definidas en la siguiente tabla de
verdad
4 Tautologı́as
• — Una Tautologı́a o Teorema lógico es una proposición siempre verdadera. Una
proposición siempre falsa es una Contradicción.
— Dadas las proposiciones p, q y r , algunas Tautologı́as importantes son
• 1. Conmutatividad
p∨q ⇔ q∨p
p∧q ⇔ q∧p
2. Asociatividad
p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r
p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r
3. Distributividad
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) , ( ∧ respecto a ∨ )
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) , ( ∨ respecto a ∧ )
4. Doble negación
p̄ ⇔ p
5. Principio de Contradicción
(p ∧ p̄) ⇔ V (siempre verdadero)
2
CUANTIFICADORES
5 Función Proposicional
• — Una función proposicional es una expresión que contiene una o más variables, que
se convierte en proposición al sustituir dicha(s) variable(s) por un (unos) elemento
(s) de un conjunto referencial.
— En otros términos, una función proposicional es un enunciado abierto con una
variable ( también puede ser con más variables) del tipo p(x) ( o p(x, y) ,
p(x, y, z) ,...) que al ser referido a un determinado conjunto referencial (Uni-
verso) A , puede ser total, parcial o nunca verdadero.
6 Cuantificador Universal
∀x ∈ A : p (x)
7 Cuantificador Existencial
3
• Se tiene en consecuencia :
donde ∃! se lee “ existe uno y solo uno ”,o “para un único ” y se denomina cuantifi-
cador existencial estricto.
9 Negación de Cuantificadores