Overview

transformation rules


Show Summary Details

Quick Reference

In logic, a rule entitling one to transform an expression of one form into that of another. The transformation of ¬(p & q) into ¬p ∨ ¬q is an example of De Morgan's laws.

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.