🌐EnglishEnglishNederlandsPortuguêsالعربية日本語EntityQ3005945· pop 5· linked from 311 articlesformation rulerule for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the languageAvailable in 5 languages日本語PortuguêsالعربيةNederlandsvia Wikidata sitelinks · CC0Connectionsfirst-order logicEntityformal systemEntityCategoriesFormal languagesLogical truthPredicate logicPropositional calculusRulesSyntax (logic)