formule bien forméeformule logiqueFormule bien fondéeFormule bien formeeformule
See more
FR
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage.
Wikipedia
Quit
Change View
Definitions
Relations
Sources
French
More languages...
English
Afrikaans
Albanian
Arabic
Armenian
Azerbaijani
Basque
Bengali
Bulgarian
Catalan
Chinese
Croatian
Czech
Danish
Dutch
Esperanto
Estonian
Finnish
French
Galician
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Indonesian
Irish
Italian
Japanese
Kazakh
Korean
Latin
Latvian
Lithuanian
Malay
Maltese
Norwegian (Bokmål)
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Simple English
Slovak
Slovenian
Spanish
Swahili
Swedish
Tagalog
Tamil
Thai
Tibetan
Turkish
Ukrainian
Urdu
Vietnamese
Welsh
Waray-Waray
Cebuano
Minangkabau
Uzbek
Volapük
Norwegian (Nynorsk)
Occitan
Macedonian
Belarusian
Newar / Nepal Bhasa
Tatar
Piedmontese
Telugu
Belarusian (Taraškievica)
Haitian
Bosnian
Breton
Javanese
Malagasy
Chechen
Luxembourgish
Marathi
Malayalam
Western Panjabi
Bashkir
Burmese
Cantonese
Lombard
Yoruba
West Frisian
Aragonese
Chuvash
Tajik
Kirghiz
Nepali
Ido
Gujarati
Bishnupriya Manipuri
Scots
Sicilian
Low Saxon
Kurdish
Asturian
Quechua
Sundanese
Alemannic
Scottish Gaelic
Kannada
Amharic
Interlingua
Neapolitan
Sorani
Buginese
Samogitian
Walloon
Banyumasan
Mongolian
Egyptian Arabic
Mazandarani
Sinhalese
Punjabi
Min Nan
Yiddish
Sakha
Venetian
Faroese
Sanskrit
Bavarian
Nahuatl
Ossetian
Tarantino
Kapampangan
Oriya
Upper Sorbian
Northern Sami
Limburgish
Hill Mari
Maori
Ilokano
Corsican
Fiji Hindi
Central Bicolano
Gan
North Frisian
Rusyn
Gilaki
Meadow Mari
Dutch Low Saxon
Võro
Pashto
Turkmen
Pangasinan
West Flemish
Manx
Mingrelian
Zazaki
Khmer
Komi
Zeelandic
Kashubian
Crimean Tatar
Hakka
Vepsian
Aymara
Divehi
Somali
Sardinian
Classical Chinese
Norman
Romansh
Udmurt
Komi-Permyak
Cornish
Uyghur
Saterland Frisian
Ladino
Wu
Ligurian
Friulian
Emilian-Romagnol
Assamese
Bihari
Zamboanga Chavacano
Guarani
Pali
Gagauz
Picard
Ripuarian
Novial
Silesian
Anglo-Saxon
Navajo
Interlingue
Acehnese
Extremaduran
Franco-Provençal/Arpitan
Mirandese
Lingala
Shona
Lower Sorbian
Lezgian
Palatinate German
Karachay-Balkar
Hawaiian
Pennsylvania German
Kabyle
Kalmyk
Kinyarwanda
Erzya
Tongan
Aramaic
Greenlandic
Banjar
Kabardian Circassian
Lao
Hausa
Papiamentu
Tok Pisin
Avar
Lak
Moksha
Lojban
Wolof
Nauruan
Buryat (Russia)
Tahitian
Sranan
Igbo
Northern Sotho
Kongo
Tetum
Karakalpak
Abkhazian
Latgalian
Zulu
Zhuang
Tuvan
Min Dong
Cheyenne
Romani
Old Church Slavonic
Tswana
Cherokee
Aromanian
Twi
Gothic
Bislama
Norfolk
Samoan
Kirundi
Bambara
Moldovan
Swati
Inuktitut
Sindhi
Pontic
Kikuyu
Oromo
Xhosa
Tsonga
Ewe
Akan
Fijian
Tigrinya
Kashmiri
Luganda
Sango
Chichewa
Fula
Venda
Cree
Sesotho
Dzongkha
Tumbuka
Inupiak
Chamorro
Serbo-Croatian
South Azerbaijani
Maithili
Northern Luri
Goan Konkani
Livvinkarjala
Patois
Tulu
Adyghe
Middle English
Ancient Greek
Old Armenian
Classical Syriac
Old French
Old Norse
Westrobothnian
Middle French
Old Irish
Middle Dutch
Ottoman Turkish
Classical Nahuatl
Old Saxon
Old High German
Cimbrian
Hiligaynon
Tocharian B
Marshallese
Hunsrik
Coptic
Vilamovian
Manchu
Dalmatian
Mapudungun
Lule Sami
Ingrian
Hijazi Arabic
Chuukese
Kabuverdianu
Plautdietsch
Amis
Ugaritic
Livonian
Laz
Emilian
Dupaningan Agta
Gamilaraay
Karelian
Okinawan
Moroccan Arabic
Choctaw
Inari Sami
Votic
Skolt Sami
Ojibwe
Old Occitan
Shan
Baluchi
Gulf Arabic
Cahuilla
Chickasaw
Brunei Malay
Istriot
Oroqen
Chamicuro
Dakota
Lakota
Pitjantjatjara
ǃXóõ
Balinese
Santali
Lü
Old Frisian
Rapa Nui
Middle Armenian
Khakas
Akkadian
Western Apache
Sumerian
Ainu
K'iche'
Saanich
Old Persian
Middle Persian
Rajasthani
Sylheti
Old Tupi
Pipil
Kumyk
Elfdalian
Yucatec Maya
Bhojpuri
Kildin Sami
Old Prussian
Hittite
Yami
Middle Low German
Unami
Southern Sami
Mon
Iu Mien
Yámana
Tocharian A
Hopi
Evenki
Mansi
Aleut
Avestan
Rohingya
Nanai
Old East Slavic
Kambera
Polabian
S'gaw Karen
Shor
North Levantine Arabic
Pohnpeian
Gallo
Miyako
Yagnobi
Southern Altai
Wiradhuri
Dongxiang
Tzotzil
Old Turkic
Dungan
Central Sierra Miwok
San Pedro Amuzgos Amuzgo
Palauan
Mi'kmaq
Yonaguni
Phoenician
Middle High German
Central Atlas Tamazight
Warlpiri
Bouyei
Ahom
Kunigami
Yaeyama
Mwani
Abenaki
Kalo Finnish Romani
Kamba
Ingush
Seri
Northern Thai
Komi-Zyrian
O'odham
Alabama
Purepecha
Udihe
Mòcheno
Northern Kurdish
Sichuan Yi
Mandinka
Bau Bidayuh
Central Melanau
Faliscan
Udi
Svan
Talysh
Dolgan
Koryak
Tlingit
Romagnol
Chagatai
Ge'ez
Muong
Nyunga
Iban
Maricopa
Ket
Abaza
Isthmus Zapotec
Megleno-Romanian
Southern Kurdish
Mizo
Slovincian
Nogai
Luo
Dinka
East Central German
Khanty
Chukchi
Mohawk
Parthian
Maore Comorian
Even
Dargwa
Gilbertese
Plains Cree
Nama
Dena'ina
Daur
Yoron
Meänkieli
Tigre
Wallisian
Ngazidja Comorian
Blackfoot
Zuni
Tashelhit
Assyrian Neo-Aramaic
Archi
Uab Meto
Bats
Rhine Franconian
Lun Bawang
Paiwan
Tabasaran
Tagal Murut
Potawatomi
Atayal
Lotud
Karaim
Timugon Murut
Swabian
Osage
Alutiiq
Atikamekw
Karok
Winnebago
Chepang
Montagnais
Old Georgian
Middle Irish
Mycenaean Greek
Old Javanese
Mansaka
Tai Dam
Aghwan
Ternate
Afar
Louisiana Creole French
Central Nahuatl
Kaingang
Tunisian Arabic
Rarotongan
Tausug
Farefare
Jarai
Yakan
Western Bukidnon Manobo
Kaurna
Andi
Old Swedish
Mauritian Creole
Kavalan
Maquiritari
Pite Sami
Seychellois Creole
Tetelcingo Nahuatl
Old Polish
Zou
Hadza
Vai
Old Spanish
Yurok
Kanakanabu
Arapaho
Ter Sami
Norn
Mezquital Otomi
Guugu Yimidhirr
Tai Nüa
Zoogocho Zapotec
Ulch
Alutor
Kriol
Kaqchikel
Chinook Jargon
Garifuna
Bahnar
Tarifit
Pa'o Karen
Niuean
Orok
Caló
Saek
Comanche
Umbundu
Pijin
Tangut
Hiri Motu
Madurese
Nias
Judeo-Tat
Ibanag
Borôro
Gorontalo
Pirahã
Oki-No-Erabu
Budukh
Algonquin
Western Huasteca Nahuatl
Yatzachi Zapotec
Galibi Carib
Aguaruna
Hlai
Kanuri
Makasar
Arawak
Western Neo-Aramaic
Seraiki
Pawnee
Brahui
Middle Korean
Lavukaleve
Kven
Bemba
Motu
Yao
Algerian Arabic
Edo
Bezhta
Malecite-Passamaquoddy
Shoshone
Khinalug
Isnag
Kinaray-a
Kwak'wala
Tuwali Ifugao
Hidatsa
Halkomelem
Ahtna
more...
FR
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage.
Wikipedia
assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité
Wikidata
Preferred languages to be displayed in the selection menus
English
English
Afrikaans
Albanian
Arabic
Armenian
Azerbaijani
Basque
Bengali
Bulgarian
Catalan
Chinese
Croatian
Czech
Danish
Dutch
Esperanto
Estonian
Finnish
French
Galician
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Indonesian
Irish
Italian
Japanese
Kazakh
Korean
Latin
Latvian
Lithuanian
Malay
Maltese
Norwegian (Bokmål)
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Simple English
Slovak
Slovenian
Spanish
Swahili
Swedish
Tagalog
Tamil
Thai
Tibetan
Turkish
Ukrainian
Urdu
Vietnamese
Welsh
Waray-Waray
Cebuano
Minangkabau
Uzbek
Volapük
Norwegian (Nynorsk)
Occitan
Macedonian
Belarusian
Newar / Nepal Bhasa
Tatar
Piedmontese
Telugu
Belarusian (Taraškievica)
Haitian
Bosnian
Breton
Javanese
Malagasy
Chechen
Luxembourgish
Marathi
Malayalam
Western Panjabi
Bashkir
Burmese
Cantonese
Lombard
Yoruba
West Frisian
Aragonese
Chuvash
Tajik
Kirghiz
Nepali
Ido
Gujarati
Bishnupriya Manipuri
Scots
Sicilian
Low Saxon
Kurdish
Asturian
Quechua
Sundanese
Alemannic
Scottish Gaelic
Kannada
Amharic
Interlingua
Neapolitan
Sorani
Buginese
Samogitian
Walloon
Banyumasan
Mongolian
Egyptian Arabic
Mazandarani
Sinhalese
Punjabi
Min Nan
Yiddish
Sakha
Venetian
Faroese
Sanskrit
Bavarian
Nahuatl
Ossetian
Tarantino
Kapampangan
Oriya
Upper Sorbian
Northern Sami
Limburgish
Hill Mari
Maori
Ilokano
Corsican
Fiji Hindi
Central Bicolano
Gan
North Frisian
Rusyn
Gilaki
Meadow Mari
Dutch Low Saxon
Võro
Pashto
Turkmen
Pangasinan
West Flemish
Manx
Mingrelian
Zazaki
Khmer
Komi
Zeelandic
Kashubian
Crimean Tatar
Hakka
Vepsian
Aymara
Divehi
Somali
Sardinian
Classical Chinese
Norman
Romansh
Udmurt
Komi-Permyak
Cornish
Uyghur
Saterland Frisian
Ladino
Wu
Ligurian
Friulian
Emilian-Romagnol
Assamese
Bihari
Zamboanga Chavacano
Guarani
Pali
Gagauz
Picard
Ripuarian
Novial
Silesian
Anglo-Saxon
Navajo
Interlingue
Acehnese
Extremaduran
Franco-Provençal/Arpitan
Mirandese
Lingala
Shona
Lower Sorbian
Lezgian
Palatinate German
Karachay-Balkar
Hawaiian
Pennsylvania German
Kabyle
Kalmyk
Kinyarwanda
Erzya
Tongan
Aramaic
Greenlandic
Banjar
Kabardian Circassian
Lao
Hausa
Papiamentu
Tok Pisin
Avar
Lak
Moksha
Lojban
Wolof
Nauruan
Buryat (Russia)
Tahitian
Sranan
Igbo
Northern Sotho
Kongo
Tetum
Karakalpak
Abkhazian
Latgalian
Zulu
Zhuang
Tuvan
Min Dong
Cheyenne
Romani
Old Church Slavonic
Tswana
Cherokee
Aromanian
Twi
Gothic
Bislama
Norfolk
Samoan
Kirundi
Bambara
Moldovan
Swati
Inuktitut
Sindhi
Pontic
Kikuyu
Oromo
Xhosa
Tsonga
Ewe
Akan
Fijian
Tigrinya
Kashmiri
Luganda
Sango
Chichewa
Fula
Venda
Cree
Sesotho
Dzongkha
Tumbuka
Inupiak
Chamorro
Serbo-Croatian
South Azerbaijani
Maithili
Northern Luri
Goan Konkani
Livvinkarjala
Patois
Tulu
Adyghe
Middle English
Ancient Greek
Old Armenian
Classical Syriac
Old French
Old Norse
Westrobothnian
Middle French
Old Irish
Middle Dutch
Ottoman Turkish
Classical Nahuatl
Old Saxon
Old High German
Cimbrian
Hiligaynon
Tocharian B
Marshallese
Hunsrik
Coptic
Vilamovian
Manchu
Dalmatian
Mapudungun
Lule Sami
Ingrian
Hijazi Arabic
Chuukese
Kabuverdianu
Plautdietsch
Amis
Ugaritic
Livonian
Laz
Emilian
Dupaningan Agta
Gamilaraay
Karelian
Okinawan
Moroccan Arabic
Choctaw
Inari Sami
Votic
Skolt Sami
Ojibwe
Old Occitan
Shan
Baluchi
Gulf Arabic
Cahuilla
Chickasaw
Brunei Malay
Istriot
Oroqen
Chamicuro
Dakota
Lakota
Pitjantjatjara
ǃXóõ
Balinese
Santali
Lü
Old Frisian
Rapa Nui
Middle Armenian
Khakas
Akkadian
Western Apache
Sumerian
Ainu
K'iche'
Saanich
Old Persian
Middle Persian
Rajasthani
Sylheti
Old Tupi
Pipil
Kumyk
Elfdalian
Yucatec Maya
Bhojpuri
Kildin Sami
Old Prussian
Hittite
Yami
Middle Low German
Unami
Southern Sami
Mon
Iu Mien
Yámana
Tocharian A
Hopi
Evenki
Mansi
Aleut
Avestan
Rohingya
Nanai
Old East Slavic
Kambera
Polabian
S'gaw Karen
Shor
North Levantine Arabic
Pohnpeian
Gallo
Miyako
Yagnobi
Southern Altai
Wiradhuri
Dongxiang
Tzotzil
Old Turkic
Dungan
Central Sierra Miwok
San Pedro Amuzgos Amuzgo
Palauan
Mi'kmaq
Yonaguni
Phoenician
Middle High German
Central Atlas Tamazight
Warlpiri
Bouyei
Ahom
Kunigami
Yaeyama
Mwani
Abenaki
Kalo Finnish Romani
Kamba
Ingush
Seri
Northern Thai
Komi-Zyrian
O'odham
Alabama
Purepecha
Udihe
Mòcheno
Northern Kurdish
Sichuan Yi
Mandinka
Bau Bidayuh
Central Melanau
Faliscan
Udi
Svan
Talysh
Dolgan
Koryak
Tlingit
Romagnol
Chagatai
Ge'ez
Muong
Nyunga
Iban
Maricopa
Ket
Abaza
Isthmus Zapotec
Megleno-Romanian
Southern Kurdish
Mizo
Slovincian
Nogai
Luo
Dinka
East Central German
Khanty
Chukchi
Mohawk
Parthian
Maore Comorian
Even
Dargwa
Gilbertese
Plains Cree
Nama
Dena'ina
Daur
Yoron
Meänkieli
Tigre
Wallisian
Ngazidja Comorian
Blackfoot
Zuni
Tashelhit
Assyrian Neo-Aramaic
Archi
Uab Meto
Bats
Rhine Franconian
Lun Bawang
Paiwan
Tabasaran
Tagal Murut
Potawatomi
Atayal
Lotud
Karaim
Timugon Murut
Swabian
Osage
Alutiiq
Atikamekw
Karok
Winnebago
Chepang
Montagnais
Old Georgian
Middle Irish
Mycenaean Greek
Old Javanese
Mansaka
Tai Dam
Aghwan
Ternate
Afar
Louisiana Creole French
Central Nahuatl
Kaingang
Tunisian Arabic
Rarotongan
Tausug
Farefare
Jarai
Yakan
Western Bukidnon Manobo
Kaurna
Andi
Old Swedish
Mauritian Creole
Kavalan
Maquiritari
Pite Sami
Seychellois Creole
Tetelcingo Nahuatl
Old Polish
Zou
Hadza
Vai
Old Spanish
Yurok
Kanakanabu
Arapaho
Ter Sami
Norn
Mezquital Otomi
Guugu Yimidhirr
Tai Nüa
Zoogocho Zapotec
Ulch
Alutor
Kriol
Kaqchikel
Chinook Jargon
Garifuna
Bahnar
Tarifit
Pa'o Karen
Niuean
Orok
Caló
Saek
Comanche
Umbundu
Pijin
Tangut
Hiri Motu
Madurese
Nias
Judeo-Tat
Ibanag
Borôro
Gorontalo
Pirahã
Oki-No-Erabu
Budukh
Algonquin
Western Huasteca Nahuatl
Yatzachi Zapotec
Galibi Carib
Aguaruna
Hlai
Kanuri
Makasar
Arawak
Western Neo-Aramaic
Seraiki
Pawnee
Brahui
Middle Korean
Lavukaleve
Kven
Bemba
Motu
Yao
Algerian Arabic
Edo
Bezhta
Malecite-Passamaquoddy
Shoshone
Khinalug
Isnag
Kinaray-a
Kwak'wala
Tuwali Ifugao
Hidatsa
Halkomelem
Ahtna
Please note that, in order to improve your browsing experience on this website,
BabelNet® uses various types of cookies, including: browsing functionality,
performance and statistical cookies.
By continuing to browse the site you are agreeing to our use of cookies.
OK
