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.
  Ar bropozadenn kompozet P → (Q → P) a zo un daotologiezh.