Regles de tongada
En llògica, les regles de tongada o regles de substitució[1][2][3] són regles de transformació que poden ser aplicades únicament a un segment particular d'una expressió.....
Un sistema llògic pot ser construït de manera que utilise axioma, regles d'inferència, o abdós, com a regles de transformació d'expressions llògiques en el sistema. Mentres que una regla d'inferència s'aplica sempre a una expressió llògica general, una regla de tongada pot ser aplicada solament a un segment particular.
En el context d'una prova llògica, expressions llògicament equivalents poden substituir-se unes per unes atres. Les regles de tongada s'usen en la llògica proposicional per a manipular proposicions i efectuar estes substitucions.
Principals regles de tongada
Les regles comunes de tongada són:
- Asociatividad
- Conmutatividad
- Distributividad
- Doble negació[nota 1]
- Les Lleis de De Morgan
- Transposició
- l'implicació material
- Equivalència material
- Exportació
- Tautologia
- Introducció de la negació
Nota
- ↑ no admesa en la llògica intuicionista
Referències
- ↑ Copi, Irving M.; Cohen, {{{nom2}}} (2005). Introducció a la Llògica, Prentice Hall.
- ↑ Hurley, Patrick (1991). A Concise Introduction to Logic, 4ta edició (en anglés), Wadsworth Publishing.
- ↑ Moore i Parker
- Este artícul conté una traducció derivada de «Reglas de reemplazo» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.