Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

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

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