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...».) |
m (bot: - les premissa i + les premisses i) |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Procediment pel qual es demostra que un enunciat o una fórmula és una [[conseqüència lògica|conseqüència lògica]] o una [[veritat lògica|veritat lògica]]. Una fórmula és una conseqüència lògica d'una altra o unes altres si no hi ha cap [[interpretació|interpretació]] o [[assignació|assignació]] que faci veritables les | + | Procediment pel qual es demostra que un enunciat o una fórmula és una [[conseqüència lògica|conseqüència lògica]] o una [[veritat lògica|veritat lògica]]. Una fórmula és una conseqüència lògica d'una altra o unes altres si no hi ha cap [[interpretació|interpretació]] o [[assignació|assignació]] que faci veritables les premisses i falsa la conclusió; una fórmula és una [[veritat lògica|veritat lògica]], o una [[tautologia|tautologia]], si és veritable per a qualsevol interpretació. |
{{Etiqueta|Etiqueta=Lògica}} | {{Etiqueta|Etiqueta=Lògica}} | ||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 10:16, 16 set 2017
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ó.