tautology

common rule of replacement in propositional logic

en-GB/tɔːtɒləd͡ʒiː/
en-US/tɑˈtɑləd͡ʒi/

Categories:

rule of inferencetheorem