Lgica 1 (2012-1)

Mtro. Cristian A. Gutirrez

Grupo Yahoo: http://mx.groups.yahoo.com/group/unam2012logica/

Lista de reglas para la Lgica Proposicional

Nuestro sistema de reglas para lgica
proposicional es el siguiente:
Reglas de
Reglas de
Introduccin
Eliminacin

sup.
....

[() ()]

sup. sup.
...
...

[() ()]

[() ()]

[() ()]

sup.
...

sup.
...

Reglas de inferencia extras:

SILOGISMO DISYUNTIVO

MODUS TOLLENS

SILOGISMO HIPOTETICO

CONDICIONALIZACIN

Reglas de equivalencia:
DOBLE NEGACIN

TRANSPOSICIN
( ) ( )
ASOCIACIN
[ ( )] [( ) ]
[ ( )] [( ) ]
CONMUTACIN
( ) ( )
( ) ( )
DISTRIBUCIN
[ ( )] [( ) ( )]
[ ( )] [( ) ( )]
IDEMPOTENCIA o TAUTOLOGA
( )
( )

CONDICIONAL FALSO
( )
( )

DEFINICIN DE IMPLICACIN
MATERIAL (DIM).
( ) ( )
( ) ( )

DISYUNCIN FALSA
( )
( )

DEFINICIN DE EQUIVALENCIA
MATERIAL (DEM).
( ) [( ) ( )]
( ) [( ) ( )]

ELIMINACIN DEL BICONDICIONAL

(2)

DILEMA CONSTRUCTIVO

DILEMA DESTRUCTIVO

ABSORCIN

( )

IMPORTACIN / EXPORTACIN (I/E)

[ ( )] [( ) ]
LEYES DE MORGAN (DeM)
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
LEY DE CLAVIUS
( )
( )