Llei lògica
De Wikisofia
La revisió el 09:41, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Enunciats de la lògica formalment veritables, això és, veritables per qualsevol interpretació,...».)
La revisió el 09:41, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Enunciats de la lògica formalment veritables, això és, veritables per qualsevol interpretació,...».)
Enunciats de la lògica formalment veritables, això és, veritables per qualsevol interpretació, o per a qualsevol assignació dels valors de veritat. Són pel mateix tautologies i, en conseqüència, són formes vàlides de raonar. Es distingeixen de les regles d'inferència, que són enunciats sobre com s'apliquen les lleis lògiques en una deducció vàlida. Les lleis lògiques pertanyen al llenguatge objecto de la lògica; les regles d'inferència, al metallenguatge (veure regles 1, regles 2 i regles 3).