idempotency of disjunction (Q93445383)
Jump to navigation
Jump to search
one of the two "tautology" rule of inference
Language | Label | Description | Also known as |
---|---|---|---|
English | idempotency of disjunction |
one of the two "tautology" rule of inference |
Statements
0 references