Documente Academic
Documente Profesional
Documente Cultură
Tabla de Contenidos
1. Lógica Proposicional 2
2. Lógica de Predicados 5
3. Referencias y Agradecimientos 9
1
1 LÓGICA PROPOSICIONAL 2
1. Lógica Proposicional
El método de deducción natural, desarrollado por Gentzen, utiliza dos reglas
de inferencia por cada conectiva: una para insertar la conectiva y otra para
eliminarla
Las reglas de inferencia son:
Ejemplo 6 (p↔∼∼p)
2 LÓGICA DE PREDICADOS 5
Ejemplo 7 (p→q⇒∼p∨q)
2. Lógica de Predicados
Para la lógica de predicados se añaden las siguientes reglas de inferencia para
insertar y eliminar cada uno de los cuantificadores.
2 LÓGICA DE PREDICADOS 6
3. Referencias y Agradecimientos
Los ejemplos han sido implementados mediante el sistema YanDES que
permite realizar demostraciones en deducción natural y convertir dichas
demostraciones a diversos formatos: XML, HTML, SVG, etc.
Estos apuntes están siendo utilizados en la asignatura Lógica
En la versión HTML, las demostraciones se almacenan en formato SVG.
Si no se pueden ver adecuadamente, es posible obtener un visualizador en:
SVG Implementations. Además, las páginas utilizan codificación UTF−8
para representar conectivas y cuantificadores de lógica. En caso de proble-
mas, puede consultarse la Página de Unicode
Se agradecerá cualquier comentario o sugerencia sobre estos apuntes.