Llei lògica
De Wikisofia
La revisió el 13:22, 4 juny 2018 per Jaumeortola (discussió | contribucions) (bot: - veritables]], això és, + veritables]], és a dir,)
La revisió el 13:22, 4 juny 2018 per Jaumeortola (discussió | contribucions) (bot: - veritables]], això és, + veritables]], és a dir,)
Enunciats de la lògica formalment veritables, és a dir, veritables per qualsevol interpretació, o per a qualsevol assignació dels valors de veritat. Són per aquesta raó 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 objecte de la lògica; les regles d'inferència, al metallenguatge (veg. regles 1, regles 2 i regles 3).