Topic:logic
Examples:
- the statement 'he is brave or he is not brave' is a tautology
Derivationally Related Form:tautological
Hypernyms:true statement truth
Inherited Hypernyms:tautologytruthstatementmessagecommunicationabstractionentity