Lgica Proposicional: enfoque axiomtico

Clculo Proposicional: ALFABETO

SIGNOS PRIMITIVOS

p, q, r, , p , q , r ,

Formas proposiciones simples

(frmula atmica, tomo, literal, forma

proposicional simpe)

Cada elemento del conjunto

una proposicin simple.

Signos de puntuacin

Parntesis: ( , )

Conectivos lgicos primarios

representara

,
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
obtenerse de las anteriores reglas de formacin.

es una fbf del clculo

si, y slo si, puede

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.

AXIOMAS
Idempotencia

PP P

Adjuncin

PPQ
PQQP

Conmutatividad

P Q RP RQ

Adicin.

REGLAS DE VALIDEZ, O DE INFERENCIA

BSICAS

P, P Q Q

Modus Ponems

Sean P y Q fbfs equivalentes desde el punto de vista lgico1; en

medio de una prueba podra suceder que: a) si se identifica la
presencia de una de ellas en la prueba, la otra puede agregarse
en algn paso de la demostracin como una versin equivalente
de la primera, o b) si se detecta la presencia de una de ellas, P o
Q , como parte de una fbf ms compleja R ; se aade a la
argumentacin una fbf S que resulta al reemplazar en R, una por
la otra.

Sustitucin

DEDUCIBLES
Adjuncin

PPQ

Idempotencia de la disyuncin

PPP

Teorema P1

Teorema P2
Conmutatividad de la disyuncin
Teorema P3.

PQQP

Adicin con a la condicional

Teoremas
Teoremas
Teoremas
Teoremas

P4a
P4b
P4c
P4d.

Ley de inferencia disyuntiva

Teorema P5

PQ RPRQ
PQ RPQR
PQ PRQR
PQ PRRQ
P, P Q Q

Sea mediante una definicin, sea a travs de una demostracin formal previa.

Modus Tollens
Teorema P6
Leyes de condicional
Teorema P7a
Teorema P7b

Q, P Q P
QPQ
P P Q

Silogismo

P Q, Q R P R

Medio excluido

P P

Teorema P8
Teorema P9
Teorema P10

Q Q P

Doble negacin
Teorema P11

P P

Ley del contra-recproco

Teorema P12

P Q Q P

Teorema P13

P Q P Q

Teorema P14

P Q P Q

Propiedades de la conjuncin
Teorema P15a
Teorema P15b

PQ P
P, Q P Q

Idempotencia de la conjuncin
Teorema P16

PP P

Conmutatividad de la conjuncin
Teorema P17

PQQP

Ley de reduccin al absurdo

Teorema P18

P R R P

Adicin de condicionales con

Teorema P19

P Q, R S P R Q S

Adicin de condicionales con

Teorema P20

P Q, R S P R Q S

Ley del silogismo Disyuntivo

Teorema P21

P Q, P R, Q T R T

Adicin con a la condicional

Teorema
Teorema
Teorema
Teorema

P22a
P22b
P22c
P22d

PQPRQR
PQPRRQ
PQRPRQ
PQRPQR

Ley asociativa de la disyuncin

Teorema P23a

PQ RP QR

Ley asociativa de la conjuncin

Teorema P23b

PQ RP QR

Ley distributiva de la conjuncin

respecto de la disyuncin
Teorema P24a

P QR PQ PR

Ley distributiva de la disyuncin

respecto de la conjuncin
Teorema P24b

P QR PQ PR
3

Ley de DeMorgan sobre la disyuncin

Teorema P25a

P Q P Q

Ley de DeMorgan sobre la conjuncin

Teorema P25b

P Q P Q

OTRAS REGLAS DE VALIDS, O DE INFERENCIA, DEDUCIBLES :

Conmutatividad de la bi-condicional
Teorema P26a

PQ QP

Teorema P26b

P Q P Q

Teorema P27a

P Q P Q
P Q P Q
P Q P Q

Teorema P27b
Teorema P27c
Teorema P28a

PQ

RP RQ

Teorema P28b

PQ

PR QR

Teorema P28c

PQ

PR QR

Teorema P29a

P Q R Q PR Q

Teorema P29b

P Q P R PQR

Teorema P30

P Q R P Q R

Teorema P31

PQ

Teorema P32
Teorema P33

QR PR

P Q PQ
P QR

PQ R