Inferència: diferència entre les revisions

m
Plantilles i correccions de format
m (neteja i estandardització de codi)
m (Plantilles i correccions de format)
Com que el sil·logisme que hem escrit té aquesta forma, i és la forma d'una inferència vàlida, tenim un sil·logisme vàlid, és a dir, una inferència en què no és possible que les premisses siguin vertaderes i la conclusió sigui falsa.
 
En la [[lògica de predicats]] de primer ordre desenvolupada a partir del {{segle |XIX}}, el sil·logisme queda formalitzat de la següent manera:
 
∀ x, Home(x) → Mortal(x)
2.705.882

modificacions