Diferència entre revisions de la pàgina «Llei lògica»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Enunciats de la lògica formalment veritables, això és, veritables per qualsevol interpretació,...».) |
m (Text de reemplaçament - "pel mateix" a "per aquesta raó") |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | [[enunciat|Enunciats]] de la lògica [[veritat formal|formalment veritables]], això és, veritables per qualsevol [[interpretació|interpretació]], o per a qualsevol assignació dels [[veritat, valors de|valors de veritat]]. Són | + | [[enunciat|Enunciats]] de la lògica [[veritat formal|formalment veritables]], això és, veritables per qualsevol [[interpretació|interpretació]], o per a qualsevol assignació dels [[veritat, valors de|valors de veritat]]. Són per aquesta raó [[tautologia|tautologies]] i, en conseqüència, són formes vàlides de raonar. Es distingeixen de les [[inferència, regles de|regles d'inferència]], que són enunciats sobre com s'apliquen les lleis lògiques en una [[deducció|deducció]] vàlida. Les lleis lògiques pertanyen al [[llenguatge objecto|llenguatge objecto]] de la [[lògica|lògica]]; les regles d'inferència, al [[metallenguatge|metallenguatge]] (veure [[Recurs:Cita de Deaño 1|regles 1]], [[Recurs:Cita d'Hodges 1|regles 2]] i [[Recurs:Cita de Deaño 2|regles 3]]). |
{{Etiqueta | {{Etiqueta | ||
Revisió del 19:40, 10 març 2015
Enunciats de la lògica formalment veritables, això és, 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 objecto de la lògica; les regles d'inferència, al metallenguatge (veure regles 1, regles 2 i regles 3).