UNIVERSIDAD DE LIMA PROGRAMA DE ESTUDIOS GENERALES FUNDAMENTOS DE MATEMTICA CICLO 2012-1

ALGUNAS EQUIVALENCIAS LOGICAS

LEYES CONMUTATIVAS LEYES ASOCIATIVAS P Q Q P P Q Q P P Q Q P

P ( Q R ) ( P Q ) R P ( Q R) ( P Q ) R

LEYES DISTRIBUTIVAS

P ( Q R ) ( P Q ) ( P R ) P ( Q R ) ( P Q ) ( P R )

LEYES DE LA CONDICIONAL

P Q P Q (P Q) P Q

LEYES DE LA BICONDICIONAL

P Q ( P Q ) ( Q P ) P Q ( P Q ) ( P Q ) (P Q) P Q P Q

LEYES DE DE MORGAN

( P Q ) P Q ( P Q ) P Q

LEYES DE IDEMPOTENCIA LEYES DE LA IDENTIDAD LEYES DEL COMPLEMENTO LEY DE LA DOBLE NEGACION LEYES DE ABSORCION LEYES DE LA TRANSPOSICIN

P P P P T P

P P P P F F P T T P F P

P P F P P T ( P ) P P ( P Q ) P P Q ~ Q ~ P P Q ~Q ~P P ( P Q ) P

NOTA. T simboliza a una Tautologa; F simboliza a una Falsedad y P o Q, simbolizan a una frmula cualquiera.

UNIVERSIDAD DE LIMA PROGRAMA DE ESTUDIOS GENERALES FUNDAMENTOS DE MATEMTICA CICLO 2012-1

NOMBRE DE LA IMPLICACIN FORMA CONDICIONAL FORMA ESQUEMTICA

1.

Modus Ponens (MP)

( P Q ) P Q
Q

PQ P

2.

Modus Tollens (MT)

( P Q ) ~ Q ~ P

PQ ~Q ~P P Q ~P
Q

3. (SD)

Silogismo disyuntivo

[ ( P Q)

~ P] Q

Si la segunda premisa es ~ Q entonces la conclusin es P.

4.

Silogismo hipottico (SH)

[ ( P Q) ( Q R) ] ( P R )
(P Q )

P Q Q R P R
PQ P

5.

Simplificacin (SIMP)

La conclusin tambin puede ser Q.

6.

Adicin (ADIC)

P (P Q )

P PQ Q representa a cualquier
frmula (verdadera o falsa)

7.

Conjuncin (CONJ)

( P Q)

( P Q)

P Q PQ

8. Dilema Constructivo (DC)

[ ( ( P Q ) ( R S) ) ( P R ) ] ( Q S )

( P Q ) ( R S)
PR
P Q

Q S

9. Absorcin (ABS)

(P Q) [P (P Q)]

P (P Q)

ALGUNAS IMPLICACIONES NOTABLES

Pgina 2 de 2