Udskiftningsregel - Rule of replacement
I logik er en erstatningsregel en transformationsregel, der kun kan anvendes på et bestemt segment af et udtryk . Et logisk system kan konstrueres således, at det bruger enten aksiomer , regler for slutning eller begge som transformationsregler for logiske udtryk i systemet. Mens en slutningsregel altid anvendes på et helt logisk udtryk, kan en erstatningsregel kun anvendes på et bestemt segment. Inden for rammerne af et logisk bevis kan logisk ækvivalente udtryk erstatte hinanden. Udskiftningsregler bruges i propositionelogik til at manipulere propositioner .
Almindelige erstatningsregler inkluderer de Morgan's love , kommutation , tilknytning , distribution , dobbelt negation , transponering , materiel implikation , logisk ækvivalens , eksport og tautologi .
Se også
Bemærkninger
Referencer
 |
Denne logik -relaterede artikel er en stub . Du kan hjælpe Wikipedia ved at udvide den . |
