Discussione:Logica proposizionale

Traducendo dalla versione inglese, cambio un po' l'incipit dell'articolo, perché questa versione è più comprensiva. Dal momento che trattiamo di linguaggi formali, ne esistono moltissimi, anche se molti di questi sono inutili. Alla fin fine, a parte speculazioni in logica matematica, la logica che ci interessa è solo una, quella che regola questo mondo e che si adatta meglio al nostro modo di ragionare. Ma visto che non costa nulla essere più precisi, seguiamo la versione inglese.--Yamatteo (msg) 18:18, 29 nov 2009 (CET)