Rule of Idempotence/Conjunction/Technical Note
Jump to navigation
Jump to search
Technical Note on Rule of Idempotence: Conjunction
When invoking this version of the Rule of Idempotence in a tableau proof, use the Idempotence template:
{{Idempotence|line|pool|statement|depends|type}}
where:
line
is the number of the line on the tableau proof where Rule of Idempotence is to be invokedpool
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$ ... $
delimitersdepends
is the line (or lines) of the tableau proof upon which this line directly dependstype
is the type of Rule of Idempotence whose link will be displayed in the Notes column: in this instanceConjunction
.