10 04 19 – Introduzione alla logica matematica #1

Ciclo di 3 incontri incentrati sulla logica matematica tenuto da un volenteroso studente di matematica.

In questo incontro: dove nasce la logica? Perché parliamo di logica matematica? In quali campi del sapere oggi è utilizzata?
Data risposta a queste domande preliminari incominceremo a introdurre le prime definizioni: alfabeto, formule, sintassi, semantica, linguaggio e metalinguaggio. Avremo così gli strumenti necessari per inoltrarci nei primi problemi della logica proposizionale.