Zasada wymiany - Rule of replacement
W logice , A zasada wymiany jest reguła transformacji , które mogą być stosowane tylko do określonego segmentu w ekspresji . System logiczny może być skonstruowany tak, aby używał aksjomatów , reguł wnioskowania lub obu jako reguł transformacji wyrażeń logicznych w systemie. Podczas gdy reguła wnioskowania jest zawsze stosowana do całego wyrażenia logicznego, reguła zastępowania może być stosowana tylko do określonego segmentu. W kontekście o dowód logiczny , logicznie równoważne wyrażenia mogą się wzajemnie zastępować. Reguły zastępowania są używane w logice zdań do manipulowania zdaniami .
Powszechne zasady zastępowania obejmują prawa de Morgana , komutację , skojarzenie , dystrybucję , podwójną negację , transpozycję , implikację materialną , równoważność logiczną , eksport i tautologię .
Zobacz też
Uwagi
Bibliografia
 |
Ten artykuł związany z logiką jest skrótem . Możesz pomóc Wikipedii, rozwijając ją . |