background

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

KREIZENN AR GERIAOUIÑ

Geriadur Klok
Geriadur Klok
taotologiezh gw. -où   tautologie
logique ◊ proposition logique composée toujours vraie, quelles que soient les valeurs de vérité de ses composantes
en  tautology
  • Ar bropozadenn kompozet P → (Q → P) a zo un daotologiezh.
    La proposition composée P → (Q → P) est une tautologie.