Dictionnaire breton des sciences et des techniques

informatique , mathématiques , 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ù 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