Dans le cadre de la logique, une tautologie est une formule d'un système qui est vraie pour n'importe quelle interprétation.
Bisa ga hikima ta al'ada, kalma wata ƙungiya ce ta haruffa da za'a iya samuwa a cikin ƙamus .