The logical song

When I was young
It seemed that life was so wonderful

Está canción está dedicada a aquellos que merodean por aquí en busca de ejercicios de lógica. La letra es bastante hippie ( rebelde, filosófica, irónica y, pesar de ello, un tanto inocente) como correspondía a los setenta. Me gusta Supertramp a pesar de que la canción sugiere que la lógica pertenece al género de las cosas acomodaticias: Acceptable, respectable, oh presentable, a vegetable!, lo cual no es en absoluto cierto; como prueba piénsese –como nos sugiere un amigo- en el sentido de la siguiente tautología:

(p -> q) v (q -> p)

A lo que íbamos: en la columna de la izquierda recorriendo con el cursor hacia abajo encontraréis ejercicios de formalización, tablas de verdad, y ejercicios de deducción natural resueltos -derivación lógica-. Ya podéis empezar a mirar los ejercicios de nivel principiante. Fáciles, fáciles, fáciles.