Es una parte de la lógica que tiene como objeto de estudio la proposición y

la relación existente entre ellas, así como la función que tienen las variables
proposicionales y los conectivos lógicos.

Enunciado Proposición lógica

Se denomina enunciado a toda expresión Llamada también enunciado cerrada; es todo

del lenguaje común, el cual puede ser una enunciado que tiene la cualidad de ser verdadero
frase, oración o expresión algebraica. (V) o falso (F) sin ninguna ambigüedad.
Las proposiciones lógicas se denotan con
Ejemplos: letras minúsculas tales como: p, q, r, s, …
• ¿Qué día es hoy?
• ¡Auxilio! Ejemplos:
• Lima es la capital del Perú • El sol es una estrella
• x+2>3 • 2+3>6
• Luis y María son hermanos.
• Juan estudia y trabaja.
 Ó
ó ó
ó
Notación: ∨
Notación: ∼ Notación: ∧ Se lee: … o …
Se lee: No es cierto que … Se lee: … y …
Ejemplo:
Ejemplo: Ejemplo:
p: José va al teatro.
p: Luis viajó a Ica: p: Ángel estudia
q: José va al cine.
q: Ángel trabaja
p: no es cierto que Luis viajó a Ica p ∧ q : Ángel estudia y trabaja p ∨ q : José va al teatro o al cine

 p p q p ∨ q
∧
Algunas equivalencias de la También equivalen al conector
negación son: conjunción las palabras: pero;
no sin embargo; aunque; además,
no es el caso... no obstante, incluso, también,
etc.
 Notación: → Notación: ↔
Se lee: … entonces …. Se lee: … si y solo si …
Ejemplo: Ejemplo:
p: Bertha nació en Lima. p: Mañana es miércoles
q: Bertha es limeña. q: Hoy es martes

p ↔ q: Mañana es miércoles si y solo si hoy es martes.

P → q : Bertha nació en Lima , entonces es limeña
p ↔ q
p → q

Si Bertha nació en Lima entonces es limeña Algunas equivalentes pueden ser: Cuando y
solo cuando; entonces y solo entonces.
Otras formas son: por consiguientes, luego; de
manera que, etc.
PROPOSICIÓN NEGACIÓN CONJUNCIÓN DISYUNCIÓN CONDICIONAL BICONDICION DISYUNCIÓN
INCLUSIVA AL EXLUSIVA

p q p q pq pq pq pq pq

V V F F V V V V F
V F F V F V F F V
F V V F F V V F V
F F V V F F V V F

Evaluar una fórmula por la tabla

de verdad es obtener los valores
del operador principal a partir de
los valores de verdad de cada
una de las variables
proposicionales.