Template:Normal forms in logic
Appearance
Template documentation
This template's initial visibility currently defaults to autocollapse
, meaning that if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar; if not, it is fully visible.
To change this template's initial visibility, the |state=
parameter may be used:
{{Normal forms in logic|state=collapsed}}
will show the template collapsed, i.e. hidden apart from its title bar.{{Normal forms in logic|state=expanded}}
will show the template expanded, i.e. fully visible.
This template organizes various normal forms used in logic, split into three categories: propositional logic, predicate logic, and other forms. Each category lists significant normal forms related to that category of logic.