Changes

Le proposizioni più semplici possono essere combinate tra loro per formare nuove proposizioni più complesse. Questo avviene con l'aiuto di operatori chiamati ''operatori logici'' e connettivi quantificatori che possono essere ridotti ai seguenti<ref>Per semplicità di esposizione e di lettura, tratteremo in questo capitolo il ''simbolo di appartenenza'', il ''simbolo di conseguenza'' e il ''tale che'' come se fossero quantificatori e connettivi di proposizioni nella logica classica.<br>In senso stretto, all'interno della logica classica non dovrebbero essere trattati come tali, ma anche se lo facciamo, questo non cambia assolutamente il significato del discorso e non si creano incongruenze di nessun tipo.</ref>:

Le proposizioni più semplici possono essere combinate tra loro per formare nuove proposizioni più complesse. Questo avviene con l'aiuto di operatori chiamati ''operatori logici'' e connettivi quantificatori che possono essere ridotti ai seguenti<ref>Per semplicità di esposizione e di lettura, tratteremo in questo capitolo il ''simbolo di appartenenza'', il ''simbolo di conseguenza'' e il ''tale che'' come se fossero quantificatori e connettivi di proposizioni nella logica classica.<br>In senso stretto, all'interno della logica classica non dovrebbero essere trattati come tali, ma anche se lo facciamo, questo non cambia assolutamente il significato del discorso e non si creano incongruenze di nessun tipo.</ref>:

#''Conjunction'', che è indicata dal simbolo <math>\land</math>  (and):

#''Congiunzione'', che è indicata dal simbolo <math>\land</math>  (and):

#''Disjunction'', che è indicata dal simbolo <math>\lor</math>  (or):

#''Disjunction'', che è indicata dal simbolo <math>\lor</math>  (or):

#''Negation'', che è indicata dal simbolo <math>\urcorner</math>  (not):

#''Negation'', che è indicata dal simbolo <math>\urcorner</math>  (not):