background

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

KREIZENN AR GERIAOUIÑ

Geriadur Klok Klasket a-raok / Previous search dre
Geriadur Klok
Klasket a-raok / Previous search dre
prouidigezh dre gontrapoziñ gw.   démonstration par contraposition
logique ◊ démonstration par la contraposée : la contraposée de 'P implique Q' est 'non Q implique non P'
en  proof by contraposition