välformulerad

Välformulerad är ett svenskt adjektiv som används för att beskriva något som följer de formella reglerna i ett språk eller i ett formellt system. I vardagligt språk används det om texter, meningar eller argument som är tydliga, grammatiskt korrekta och lättförståeliga. I tekniska sammanhang betonas ofta syntaktisk korrekthet: en välformulerad sats följer reglerna för hur ord och meningar byggs upp.

Inom logik och datavetenskap används termen särskilt om en formell konstruktion som följer ett definierat formellt alfabet och en uppsättning syntaktiska regler. En välformulerad formel är en strings som är grammatisk enligt systemets regler, och därför kan behandlas av de logiska eller beräkningsmässiga reglerna som tillämpas på dem. Det är viktigt att skilja mellan syntaktisk korrekthet och innebörd eller sanning: en formel kan vara välformulerad utan att vara meningsfull eller sann i någon tolkning. Exempel: i propositionell logik är p ∧ q ofta en välformulerad formel, medan p ∧ är ogiltig som formel.

I svenskt skrivande används også uttrycket för att beskriva texter och frågeställningar som är tydligt avgränsade och logiskt uppbyggda. En välformulerad problemställning eller frågeställning känns konkret, koncis och lätt att följa.

Etymologi: bildat av väl- och formulera. Används över olika områden, från språklig stil till formell logik och datavetenskap. Se även: välformulerad formel, formellt språk.