Queste pagine contengono una presentazione formale della logica proposizionale (per intenderci, quella che forse avrete incontrato negli studi alle scuole medie superiori).
L'argomento, in sè, non presenta particolari difficoltà: lo scopo di questo elaborato, infatti, è principalmente quello di mostrare come sia possibile descrivere formalmente un linguaggio logico.
Quindi, qui non si cercherà di descrivere la logica proposizionale nella maniera più introdutiva (ovvero attraverso le tabelle di verità), ma si proporrà una definizione molto più formale e più simile a quelle usate per logiche più complesse, con l’augurio che la lettura di queste pagine renda più semplice lo studio di logiche più sofisticate, dalla più classica logica predicativa del 1° ordine alle meno note logiche temporali e modali.
Questo elaborato è diviso in due parti:
Buon divertimento!