llei lògica LÒG.

Enunciats de la lògica formalment vertaders, això és, vertaders per a qualsevol interpretació, o per a qualsevol assignació dels valors de veritat;. Són per aquest 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 (veure regles 1, regles 2 i regles 3).

 

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.