Diferència entre revisions de la pàgina «Prova»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Procediment pel qual es demostra que un enunciat o una fórmula és una conseqüència lògica o una veritat lògica|v...».) |
(Cap diferència)
|
Revisió del 00:52, 5 feb 2015
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 premissa i falsa la conclusió; una fórmula és una veritat lògica, o una tautologia, si és veritable per a qualsevol interpretació.