Template:Transformation rules

Template documentation

See also

• {{Classical logic}}
• {{Logic templates}}

Editors can experiment in this template’s sandbox (create | mirror) and testcases (create) pages.
Subpages of this template.

[[Category:Template documentation pages{{#translation:}}]]