Diferència entre revisions de la pàgina «Inferència, regles d'»
De Wikisofia
m (bot: -veure exemple +veg. exemple) |
|||
| (4 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | En els [[raonament|raonaments]] reglamentats per la lògica, cadascuna de les lleis lògiques que permeten passar d'una fórmula a una altra en un [[càlcul lògic|càlcul]] deductiu o en una [[inferència|inferència]] inductiva. Si es tracta d'un càlcul axiomàtic formalitzat, són les ''regles de transformació ''que, juntament amb les ''definicions'' dels termes i les ''regles sintàctiques de formació ''de termes, permeten l'obtenció de [[teorema|teoremes]]. Tant la lògica d'enunciats com la lògica de predicats es conceben com un sistema deductiu compost de regles d'inferència. Es parla indistintament de regles d'inferència o de [[llei lògica|lleis lògiques]] ([[Recurs:Text de Deaño: Exemple de lleis i regles|veg. | + | En els [[raonament|raonaments]] reglamentats per la lògica, cadascuna de les lleis lògiques que permeten passar d'una fórmula a una altra en un [[càlcul lògic|càlcul]] deductiu o en una [[inferència|inferència]] inductiva. Si es tracta d'un càlcul axiomàtic formalitzat, són les ''regles de transformació ''que, juntament amb les ''definicions'' dels termes i les ''regles sintàctiques de formació ''de termes, permeten l'obtenció de [[teorema|teoremes]]. Tant la lògica d'enunciats com la lògica de predicats es conceben com un sistema deductiu compost de regles d'inferència. Es parla indistintament de regles d'inferència o de [[llei lògica|lleis lògiques]] ([[Recurs:Text de Deaño: Exemple de lleis i regles|veg. text]]). |
Aquestes regles determinen, doncs, quins són els passos correctes en una [[deducció|deducció]], o [[inferència|inferència]] deductiva segons els diversos sistemes del [[càlcul lògic|càlcul]] lògic. | Aquestes regles determinen, doncs, quins són els passos correctes en una [[deducció|deducció]], o [[inferència|inferència]] deductiva segons els diversos sistemes del [[càlcul lògic|càlcul]] lògic. | ||
| Línia 6: | Línia 6: | ||
En els sistemes axiomàtics anomenats de la «primera generació», basten dues regles: de separació ([[modus ponens|''modus ponens'']]) i de substitució ([[Recurs:Cita de Ruyer 1|veg. exemple]]). | En els sistemes axiomàtics anomenats de la «primera generació», basten dues regles: de separació ([[modus ponens|''modus ponens'']]) i de substitució ([[Recurs:Cita de Ruyer 1|veg. exemple]]). | ||
| − | En el mètode de [[lògica|deducció natural]], per la [[lògica|lògica d'enunciats]] ( | + | En el mètode de [[lògica|deducció natural]], per la [[lògica|lògica d'enunciats]] (veg. les regles) i la [[lògica|lògica de predicats]] ([[Recurs:Regles de la lògica de predicats|vegeu les regles]]) es distingeix entre regles bàsiques i regles derivades. |
| + | |||
| + | Ex: veure [[addició lògica]] | ||
{{Etiqueta | {{Etiqueta | ||
Revisió de 16:35, 27 set 2018
En els raonaments reglamentats per la lògica, cadascuna de les lleis lògiques que permeten passar d'una fórmula a una altra en un càlcul deductiu o en una inferència inductiva. Si es tracta d'un càlcul axiomàtic formalitzat, són les regles de transformació que, juntament amb les definicions dels termes i les regles sintàctiques de formació de termes, permeten l'obtenció de teoremes. Tant la lògica d'enunciats com la lògica de predicats es conceben com un sistema deductiu compost de regles d'inferència. Es parla indistintament de regles d'inferència o de lleis lògiques (veg. text).
Aquestes regles determinen, doncs, quins són els passos correctes en una deducció, o inferència deductiva segons els diversos sistemes del càlcul lògic.
En els sistemes axiomàtics anomenats de la «primera generació», basten dues regles: de separació (modus ponens) i de substitució (veg. exemple).
En el mètode de deducció natural, per la lògica d'enunciats (veg. les regles) i la lògica de predicats (vegeu les regles) es distingeix entre regles bàsiques i regles derivades.
Ex: veure addició lògica