Pravidlo výměny - Rule of replacement
| Pravidla transformace |
|---|
| Výrokový počet |
| Pravidla odvození |
| Pravidla výměny |
| Predikátová logika |
v logika, a pravidlo nahrazení[1][2][3] je pravidlo transformace které lze použít pouze na určitý segment výraz. A logický systém mohou být konstruovány tak, aby používaly buď axiomy, pravidla odvození, nebo obojí jako pravidla transformace pro logické výrazy v systému. Zatímco pravidlo odvození se vždy použije na celý logický výraz, pravidlo nahrazení lze použít pouze na určitý segment. V kontextu a logický důkaz, logicky ekvivalentní výrazy se mohou navzájem nahradit. Pravidla výměny se používají v výroková logika manipulovat propozice.
Mezi běžná pravidla nahrazování patří de Morganovy zákony, komutace, sdružení, rozdělení, dvojitá negace,[A] transpozice, materiální implikace, materiální rovnocennost, vývoz, a tautologie.
Poznámky
- ^ nepřijato v intuicionistická logika
Reference
- ^ Copi, Irving M .; Cohen, Carl (2005). Úvod do logiky. Prentice Hall.CS1 maint: ref = harv (odkaz)
- ^ Hurley, Patrick (1991). Stručný úvod do 4. vydání Logic. Wadsworth Publishing. Citovat má prázdný neznámý parametr:
| spoluautoři =(Pomoc) - ^ Moore a Parker[úplná citace nutná ]
 | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |