Prefaci

Aquests apunts neixen de la voluntat de proporcionar a l’alumnat de batxillerat una base sòlida i rigorosa en el llenguatge de les matemàtiques: la lògica i les demostracions.

El camí cap a la comprensió de les matemàtiques superiors està pavimentat amb la capacitat de comprendre i construir arguments lògics. Aquest document vol ser la primera pedra d’aquest camí. S’ha elaborat amb la intenció de ser una eina clara, accessible i, alhora, precisa, que guiï l’estudiant a través dels conceptes fonamentals de la lògica proposicional, els quantificadors i les tècniques de demostració.

El material que es presenta aquí és el fruit de l’experiència docent i la convicció que la bellesa de les matemàtiques rau no només en els seus resultats, sinó sobretot en el procés rigorós i elegant que condueix a ells. Especial èmfasi s’ha posat en la relació entre el llenguatge natural i el simbòlic, i en la traducció d’uns en altres, ja que és en aquest pas on sovint es troben les majors dificultats.

Agraïments a tots els estudiants les seves preguntes i curiositat han anat donant forma a aquest text, i als companys docents pels seus valuosos comentaris i suggeriments.

Esperem que aquests apunts us acompanyin en el vostre descobriment de com es construeix i es valida el coneixement matemàtic.