El cálculo proposicional busca la exactitud en los razonamientos por medio de la

simbolización de proposicioes y axiomas que derivan demostraciones consistentes.

Los símbolos pueden ser constantes y variables.

Constates: Representan proposiciones atómicas con las letras
p, q, r, s, t u otras consonantes.
Conectivos Lógicos: Representan relaciones entre las
proposiciones para construir moleculares. Son:
ꓥ = conjunción = -y- Ej. p ꓥ q

V = disyunción inclusiva = -o- Ej. P V q

= condicional = -si … entonces- Ej. P q

= bicondicional = -… si y sólo si …- Ej. P q
¬ = negación = -no- Ej. ¬ p

Signos de agrupación: Funcionan como “,”, “;” y “.”. Son:

(…), ¨[…]” “ {…}
Si hay nubes entonces lloverá

p q
ESTABLECEN UNA CONDICIÓN RECÍPROCA.
Lloverá si y sólo si hay
nubes.

p q
UNE DOS ELEMENTOS SIN QUE UNO DEPENDA DEL
OTRO
Hay sol y hay frío
v
v
p q
Establece dos elementos en relativa oposición.
No se excluyen uno a otro

Hace sol o hace frío

v
p V q
Simplemente cancela o niega una
proposición.

No hay sol

p
Conjunción &.
Juan y María bailan = Juan baila -p- + María baila –q-
(p & q)
Condicion.
Si Juan hace la tarea -t-, entonces irá a bailar –s-
(t s)
Bicondicional
María irá a bailar, si y sólo si, juan hace la tarea.
(q t)
Disyunción inclusiva V
Juan hace la tarea o Juan escucha música –r-.
(t V r)
Disyunción exclusiva V y Negación ¬
O María baila o María no baila: (q V ¬q)
Proposiciones moleculares.
Juan y María bailarán, sólo si Juan hace la tarea. Pero
Juan hace la tarea o escucha música, y si no la hace
Entonces María no irá a bailar.

[ (p & q) t] & [ (t V r) & (¬t ¬q)]

& = conjunción = -y- Ej. p & q

V = disyunción inclusiva = -o- Ej. P V q
V = disyunción exclusiva = -o… o- Ej. p V q
= condicional = -si … entonces- Ej. p q
= bicondicional = -… si y sólo si …- Ej. p q
¬ = negación = -no- Ej. ¬ p
Signos de agrupación: Funcionan como “,”, “;” y “.”. Son:
(…), ¨[…]” “ {…}