Diferència entre revisions de la pàgina «Llei lògica»
De Wikisofia
m (Text de reemplaçament - "llenguatge objecto" a "llenguatge objecte") |
m (bot: - veritables]], això és, + veritables]], és a dir,) |
||
| (Hi ha una revisió intermèdia del mateix usuari que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | [[enunciat|Enunciats]] de la lògica [[veritat formal|formalment veritables]], | + | [[enunciat|Enunciats]] de la lògica [[veritat formal|formalment veritables]], és a dir, 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 d'|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 objecte|llenguatge objecte]] de la [[lògica|lògica]]; les regles d'inferència, al [[metallenguatge|metallenguatge]] (veg. [[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ó de 13:22, 4 juny 2018
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).