Lógica Matemática

Unidad 2. Lógica de primer orden o de predicados.

Actividad 3. Problemas sobre deducciones formales.

Instrucciones: Resuelve los siguientes problemas.

1) ¿A qué grupo de axiomas pertenecen, si es que pertenecen a alguno, las siguientes

fórmulas?
a) [ ( ) ( )]
b)

2) Dé una deducción (a partir de ) de . (Nota que no sólo se deberá probar

que dicha deducción existe. Se está pidiendo más bien que se escriba la deducción
completa.)

3)
a) Muestre que si , entonces .
b) Muestre que en general no es verdad que .

4) Muestra que existen deducciones a partir de las siguientes fórmulas.

a) ( )
b) ( )

5) Muestra que ( (( ) ) (( ) )).