Normal forms in logic | ||
---|---|---|
Propositional logic | ||
Predicate logic | ||
Other |
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.