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.
reglas, reemplazo, lógica, reglas, reemplazo, reglas, sustitución, reglas, transformación, pueden, aplicadas, únicamente, segmento, particular, expresión, sistema, lógico, puede, construido, manera, utilice, axiomas, reglas, inferencia, ambos, como, reglas, tr. En logica las reglas de reemplazo o reglas de sustitucion 1 2 3 son reglas de transformacion que pueden ser aplicadas unicamente a un segmento particular de una expresion Un sistema logico puede ser construido de manera que utilice axiomas reglas de inferencia o ambos como reglas de transformacion de expresiones logicas en el sistema Mientras que una regla de inferencia se aplica siempre a una expresion logica general una regla de reemplazo puede ser aplicada solamente a un segmento particular En el contexto de una prueba logica expresiones logicamente equivalentes pueden sustituirse unas por otras Las reglas de reemplazo se usan en la logica proposicional para manipular proposiciones y efectuar estas sustituciones Indice 1 Principales reglas de reemplazo 2 Nota 3 Referencias 4 Enlaces externosPrincipales reglas de reemplazo EditarLas reglas comunes de reemplazo son Asociatividad Conmutatividad Distributividad Doble negacion nota 1 Las Leyes de De Morgan Transposicion La implicacion material Equivalencia material Exportacion Tautologia Introduccion de la negacionNota Editar no admitida en la logica intuicionistaReferencias Editar Copi Irving M Cohen Carl 2005 Introduccion a la Logica Prentice Hall Hurley Patrick 1991 A Concise Introduction to Logic en ingles 4ta edicion Wadsworth Publishing Moore y ParkerEnlaces externos EditarEsta obra contiene una traduccion total derivada de Rule of replacement de Wikipedia en ingles concretamente de esta version publicada por sus editores bajo la Licencia de documentacion libre de GNU y la Licencia Creative Commons Atribucion CompartirIgual 3 0 Unported Datos Q1361787 Obtenido de https es wikipedia org w index php title Reglas de reemplazo amp oldid 150244670, wikipedia, wiki, leyendo, leer, libro, biblioteca,
