# De Morgan's Laws (Logic)/Technical Note

Jump to navigation
Jump to search

## Technical Note on De Morgan's Laws

When invoking **De Morgan's Laws** in a tableau proof, use the `{{DeMorgan}}`

template:

`{{DeMorgan|line|pool|statement|depends|type}}`

where:

`line`

is the number of the line on the tableau proof where the specific instance of De Morgan's Laws is to be invoked`pool`

is the pool of assumptions (comma-separated list)`statement`

is the statement of logic that is to be displayed in the**Formula**column,**without**the`$ ... $`

delimiters`depends`

is the line (or lines) of the tableau proof upon which this line directly depends`type`

is the type of De Morgan's Law:`Disjunction`

,`Conjunction`

,`Disjunction of Negations`

or`Conjunction of Negations`

, whose link will be displayed in the**Notes**column.