Prova
De Wikisofia
La revisió el 10:16, 16 set 2017 per Jaumeortola (discussió | contribucions) (bot: - les premissa i + les premisses i)
La revisió el 10:16, 16 set 2017 per Jaumeortola (discussió | contribucions) (bot: - les premissa i + les premisses i)
Procediment pel qual es demostra que un enunciat o una fórmula és una conseqüència lògica o una veritat lògica. Una fórmula és una conseqüència lògica d'una altra o unes altres si no hi ha cap interpretació o assignació que faci veritables les premisses i falsa la conclusió; una fórmula és una veritat lògica, o una tautologia, si és veritable per a qualsevol interpretació.