6.1 Logica
Qui troverai appunti sulle proposizioni logiche e le relazioni.
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.