Dictionnaire breton des sciences et des techniques

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

• 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