Discussione:Logica matematica/Sistemi formali

"La nozione di conseguenza, in una logica Λ, può godere di una o più delle seguenti proprietà.

   (Segue definizione di proprietà di inclusione)"

Non sono d'accordo sul "può": se si legge la definizione di "conseguenza" di qualche paragrafo sopra, si capisce che la proprietà di inclusione è necessariamente soddisfatta da qualunque sistema formale. Ho simili perplessità anche per le altre proprietà. Inoltre noto che il testo è copiato di sana pianta da "strutture logica linguaggi" di aiello et al.: andrebbe detto. --95.248.107.17 19:17, 4 gen 2021 (CET)