Discussione:Logica matematica/Sistemi formali

Contenuti della pagina non supportati in altre lingue.
Wikibooks, manuali e libri di testo liberi.

"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]

Estratto da "https://it.wikibooks.org/w/index.php?title=Discussione:Logica_matematica/Sistemi_formali&oldid=391060"