Dictionnaire breton des sciences et des techniques

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

anglais : 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)
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)

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

anglais : conclusive proposition

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

anglais : conclusive proposition

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

anglais : conclusive proposition

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

anglais : contingent proposition

proposition contraire propozadenn gontrel gw.

logique ◊ proposition qui s'oppose à une autre proposition

anglais : 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

anglais : false proposition

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

anglais : 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

anglais : logical proposition

proposition mathématique propozadenn vatematikel gw.

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

anglais : 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ù furmet gant doujañ ouzh reolennoù zo ha diwar-bouez kevreerioù lojikel
une proposition ne contient pas d’élément variable
n’eus elfenn varius 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

anglais : 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

anglais : inverse proposition / reciprocal

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

anglais : true proposition