Regra de substituição - Rule of replacement
Na lógica , uma regra de substituição é uma regra de transformação que pode ser aplicada a apenas um segmento específico de uma expressão . Um sistema lógico pode ser construído de forma que use axiomas , regras de inferência ou ambos como regras de transformação para expressões lógicas no sistema. Enquanto uma regra de inferência é sempre aplicada a uma expressão lógica inteira, uma regra de substituição pode ser aplicada a apenas um segmento particular. No contexto de uma prova lógica , expressões logicamente equivalentes podem substituir umas às outras. Regras de substituição são usadas na lógica proposicional para manipular proposições .
As regras comuns de substituição incluem as leis de Morgan , comutação , associação , distribuição , negação dupla , transposição , implicação material , equivalência lógica , exportação e tautologia .
Veja também
Notas
Referências
 |
Este artigo relacionado à lógica é um esboço . Você pode ajudar a Wikipedia expandindo-a . |