Vai al contenuto

Discussione:Logica matematica/Sistemi formali

Contenuti della pagina non supportati in altre lingue.
Aggiungi argomento
Wikibooks, manuali e libri di testo liberi.
Ultimo commento: 3 anni fa di 95.248.107.17

"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)Rispondi