Dictionnaire breton des sciences et des techniques

logique ◊ proposition logique composée toujours vraie, quelles que soient les valeurs de vérité de ses composantes

• un daotologiezh eo ar bropozadenn kompozet P → (Q → P)
  la proposition composée P → (Q → P) est une tautologie