Lgica Proposicional

Clculo Proposicional: ALFABETO

SIGNOS PRIMITIVOS
p, q, r, , p , q , r ,
Formas proposiciones simples
Cada elemento del conjunto representara una
(frmula atmica, tomo, literal, forma
proposicin simple.
proposicional simple)
Los subndices son nmeros naturales
Signos de puntuacin Parntesis: ( , )
Conectivos lgicos primarios ,
SIGNOS COMPLEMENTARIOS
Conectivos lgicos secundarios: , ,

Clculo Proposicional: REGLAS DE FORMACIN DE FRMULAS

BSICAS
Definicin de formas proposicionales simples
RFP1. Cualquier forma proposicional simple es una frmula bien formada fbf.
Definicin de formas proposicionales negadas
RFP2. Si R es una fbf, entonces R es una fbf.
Definicin de formas proposicionales disyuntivas
RFP3. Si R y S son fbfs, entonces R S es una fbf.
Definicin de formas proposicionales agrupadas
RFP4. Si R es una fbf, entonces R tambin es una fbf
COMPLEMENTARIAS
Definicin de formas proposicionales conjuntivas
RFP5. Sean R y S fbfs, entonces la frmula R S se considera bien formada y se define como:
R S
Definicin de formas proposicionales condicionales
RFP6. Sean R y S fbfs, entonces la frmula R S se considera bien formada y se define como:
R S
Definicin de formas proposicionales bicondicionales
RFP7. Sean R y S fbfs, entonces la frmula R S se considera bien formada y se define como:
RS SR
RFP8. Una secuencia de smbolos del alfabeto es una fbf del clculo si, y slo si, puede
obtenerse de las anteriores reglas de formacin.
 Alcance de los signos de operacin lgica

Alcance de la negacin Un signo de negacin, , slo influye a

Alcance de los signos de operacin lgica: conjuncin,
disyuncin, condicional, bicondicional , , ,
Alcance de los parntesis
la fbf que le siga inmediatamente.
Cada uno de estos signos tiene por
alcance las fbfs ms cercanas a su
izquierda y derecha
Es la fbf que se encuentre entre un
parntesis izquierdo y el primer
parntesis derecho que halle.

Jerarqua entre las operaciones lgicas

Orden de prioridad descendente de izquierda a derecha , , , ,

El orden de prioridad se modifica con el uso de los signos de
puntuacin. Los parntesis, as, superan en prioridad a
cualquier operacin lgica.