Barrapunto

Para que no os aburráis este verano, he escrito un tutorial sobre lógica: (en PDF) Introducción a la deducción natural. En HTML se puede consultar en mi web.

Lo que explico sirve para demostrar que un razonamiento es correcto. Ejemplo: yo digo:

"Todos los programas GPL me gustan, y Windows NO me gusta; por lo tanto, Windows no es GPL."

Pues la deducción natural sirve para decir que sí, que realmente, si son verdad esas dos cosas que he dicho, entonces la conclusión que he sacado también se cumple.

He escrito este trabajo porque en Internet no había ninguno útil (ni en inglés), o los que había estaban a medias y eran chapuceros. Espero que éste ayude a mucha gente, ya que es FDL y no desaparecerá ni se quedará anticuado.

Esto lo explican en la universidad, así que preparaos los que vayáis a hacer asignaturas de lógica.