En lógica, las reglas de reemplazo o reglas de sustitución[1][2][3] son reglas de transformación que pueden ser aplicadas únicamente a un segmento particular de una expresión.....
Un sistema lógico puede ser construido de manera que utilice axiomas, reglas de inferencia, o ambos, como reglas de transformación de expresiones lógicas en el sistema. Mientras que una regla de inferencia se aplica siempre a una expresión lógica general, una regla de reemplazo puede ser aplicada solamente a un segmento particular.
En el contexto de una prueba lógica, expresiones lógicamente equivalentes pueden sustituirse unas por otras. Las reglas de reemplazo se usan en la lógica proposicional para manipular proposiciones y efectuar estas sustituciones.
YouTube Encyclopedic
-
1/3Views:165 1621 282483 294
-
INFERENCIA LÓGICA O ARGUMENTO LOGICO - PROBLEMAS Y EJERCICIOS
-
Firmeza del Pacto Abrahámico y Teología de Reemplazo - Jim Staley
-
Probabilidad de sucesos independientes SECUNDARIA (4ºESO) matematicas
Transcription
Principales reglas de reemplazo
Las reglas comunes de reemplazo son:
- Asociatividad
- Conmutatividad
- Distributividad
- Doble negación[nota 1]
- Las Leyes de De Morgan
- Transposición
- La implicación material
- Equivalencia material
- Exportación
- Tautología
- Introducción de la negación
Nota
- ↑ no admitida en la lógica intuicionista
Referencias
- ↑ Copi, Irving M.; Cohen, Carl (2005). Introducción a la Lógica. Prentice Hall.
- ↑ Hurley, Patrick (1991). A Concise Introduction to Logic (en inglés) (4ta edición). Wadsworth Publishing.
- ↑ Moore y Parker
Enlaces externos
- Esta obra contiene una traducción total derivada de «Rule of replacement» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
| Control de autoridades |
|
|---|
Datos: Q1361787
Esta página se editó por última vez el 31 mar 2023 a las 15:18.