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

propozadenn gw. -où proposition

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

anglais : proposition

rediañ a ra al lojik kement propozadenn zo (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)
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)

propozadenn deberzh gw. propozadennoù deberzh proposition contingente: logique ◊ proposition qui n'est ni nécessairement vraie, ni nécessairement fausse

anglais : contingent proposition

propozadenn difin gw. proposition conclusive: logique ◊ proposition qui termine un raisonnement

anglais : conclusive proposition

propozadenn faos gw. proposition fausse: logique ◊ proposition qui n'est jamais vraie

anglais : false proposition

propozadenn glozañ gw. proposition conclusive: logique ◊ proposition qui termine un raisonnement

anglais : conclusive proposition

propozadenn glozus gw. proposition conclusive: logique ◊ proposition qui termine un raisonnement

anglais : conclusive proposition

propozadenn gontrel gw. proposition contraire

logique ◊ proposition qui s'oppose à une autre proposition

anglais : opposite proposition

faos war un dro a c’hell bezañ div bropozadenn gontrel, met ne c’hellont ket bezañ gwir o div
deux propositions contraires peuvent être fausses en même temps, mais pas vraies en même temps

propozadenn hipotetek gw. proposition hypothétique: logique ◊ proposition qui repose sur une hypothèse

anglais : hypothetical proposition

propozadenn lojikel gw. proposition logique: logique ◊ proposition qui donne une information sur un état de chose, et qui peut prendre uniquement les valeurs vrai ou faux

anglais : logical proposition

propozadenn resiprokel gw. proposition réciproque: logique ◊ deux propositions sont réciproques si le sujet de l'une peut devenir l'attribut de l'autre et inversement

anglais : inverse proposition / reciprocal

propozadenn vatematikel gw. proposition mathématique

mathématiques , informatique , logique ◊ assemblage de symboles (lettres, nombres, connecteurs) obéissant à certaines règles

anglais : mathematical proposition

ur bropozadenn vatematikel a zo ur c’henstroll simboloù ha lizherennoù furmet gant doujañ ouzh reolennoù zo ha diwar-bouez kevreerioù lojikel
une proposition mathématique est un assemblage de symboles et de lettres formé en suivant certaines règles, à l’aide de connecteurs logiques
n’eus elfenn varius ebet en ur bropozadenn
une proposition ne contient pas d’élément variable

propozadenn wir gw. proposition vraie: logique ◊ proposition qui n'est jamais fausse

anglais : true proposition