6.1 Logica

1.2 Connettivi logici

Le proposizioni logiche viste nel paragrafo precedente si dicono proposizioni semplici: ciascuna fornisce una sola informazione. Le proposizioni semplici possono essere legate tra di loro da congiunzioni, come "e", "ma", "allora": le proposizioni così formate si dicono proposizioni composte. 

La logica si occupa di analizzare le proposizioni semplici e assegnare loro un valore di verità, cioè stabilisce se sono vere o false. Sulla base di questi si assegna un valore di verità alle proposizioni composte. 

Le particelle mediante le quali si collegano due proposizioni si chiamano connettivi logici: tra di essi distinguiamo la congiunzione, la disgiunzione, la negazione, l'implicazione.