**Material para la asignatura de
Introduccion a la Logica. **

**Material para la asignatura de Logica de Primer Orden. **

examen02.pdf Solo son relevantes las preguntas 1,5,7 y 8.

examen03.pdf Solo son relevantes las preguntas 1-7.

**Material para la asignatura
Informatica 2 de la Facultat de Matematicas.
**

**Material para la asignatura de Informatica I**

**Software for Teaching Logic **

Our software was developed to help the students of the curse "Introduccio a la Logica". The students can work with propositional logic, and first order logic. The application allows the students to:

- Introduce formulas in proposicional logic and first order logic, and verify that the formulas have a correct syntax. It also gives the tree form of the formula. The application can also indicate the complete parentization of the formula, according to the conventions for elimination/introduction of parenthesis.

- The program can put the formulas in normal form, CNF, DNF, and Skolam normal form.

- There is an implementation of the unification algorithm.

- Resolution is implemented for propositional logic and first order logic.

The main objective of the software is to be didactical. So the students can see how to solve exercices step by step, forwards and backwards.

To use the software you can download the file and then decompress it with winzip into a directory of your local PC. The directories to pay attention to are:

- ILOTUTORCP1 is a help menu in English.

- IloTutorCP0 is the application for propositional logic.

- IloTutorCP1 is the application for first order logic.

- Exemples contains some examples to try out.

This software was developed at the Universidad Politecnica de Catalunya as a student project. The student is Lluis Marzabal Sors and was directed by Glynn Morrill and myself.