Cerca
continguts al web Pensament: autors, conceptes, textos, obres ...
Loading
prova LÒG.
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 altres si no hi ha cap interpretació o assignació que faci vertaderes les premissa i falsa la conclusió; una fórmula és una veritat lògica, o una tautologia, si és vertadera per a qualsevol interpretació.