background

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

KREIZENN AR GERIAOUIÑ

Geriadur Klok
Geriadur Klok
proposition   propozadenn gw. -où
logique ◊ élément de raisonnement non décomposable pouvant être évalué comme vrai ou faux ; résultat démontré, moins important qu’un théorème
en  proposition
  • La logique impose que toute proposition (énoncé qui ne comprend pas de variable) ne peut avoir qu’une seule valeur de vérité : l’énoncé est vrai ou bien il est faux ; il ne peut pas être à la fois vrai et faux (principe de non contradiction) et ne peut être ni vrai ni faux (principe du tiers exclu).
    Al lojik a redi kement propozadenn (enoñsad hep varienn) da gaout un talvoud gwirionez hepken : gwir pe faos eo an enoñsad ; ne c’hall ket bezañ gwir ha faos war un dro (pennreolenn nann dislavar) ha ne c’hall ket bezañ na gwir na faos war un dro (pennreolenn an trede eskluet).
proposition conclusive   propozadenn glozus gw.
logique ◊ proposition qui termine un raisonnement
en  conclusive proposition
proposition conclusive   propozadenn difin gw.
logique ◊ proposition qui termine un raisonnement
en  conclusive proposition
proposition conclusive   propozadenn glozañ gw.
logique ◊ proposition qui termine un raisonnement
en  conclusive proposition
proposition contingente   propozadenn deberzh gw. propozadennoù deberzh
logique ◊ proposition qui n'est ni nécessairement vraie, ni nécessairement fausse
en  contingent proposition
proposition contraire   propozadenn gontrel gw.
logique ◊ proposition qui s'oppose à une autre proposition
en  opposite proposition
  • deux propositions contraires peuvent être fausses en même temps, mais pas vraies en même temps
    faos war un dro a c’hell bezañ div bropozadenn gontrel, met ne c’hellont ket bezañ gwir o div
proposition fausse   propozadenn faos gw.
logique ◊ proposition qui n'est jamais vraie
en  false proposition
proposition hypothétique   propozadenn hipotetek gw.
logique ◊ proposition qui repose sur une hypothèse
en  hypothetical proposition
proposition logique   propozadenn lojikel gw.
logique ◊ proposition qui donne une information sur un état de chose, et qui peut prendre uniquement les valeurs vrai ou faux
en  logical proposition
proposition mathématique   propozadenn vatematikel gw.
mathématiques, informatique, logique ◊ assemblage de symboles (lettres, nombres, connecteurs) obéissant à certaines règles
en  mathematical proposition
  • Une proposition mathématique est un assemblage de symboles et de lettres formé en suivant certaines règles, à l’aide de connecteurs logiques.
    Ur bropozadenn vatematikel a zo ur c’henstroll simboloù ha lizherennoù savet dre doujañ ouzh reolennoù zo ha gant kevreerioù lojikel.
  • Une proposition ne contient pas d’élément variable.
    N’eus varienn ebet en ur bropozadenn.
proposition réciproque   propozadenn resiprokel gw.
logique ◊ deux propositions sont réciproques si le sujet de l'une peut devenir l'attribut de l'autre et inversement
en  inverse proposition, reciprocal
proposition réciproque   resiprokenn gw. resiprokoù
logique ◊ deux propositions sont réciproques si le sujet de l'une peut devenir l'attribut de l'autre et inversement
en  inverse proposition, reciprocal
proposition vraie   propozadenn wir gw.
logique ◊ proposition qui n'est jamais fausse
en  true proposition