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

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

• 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.