Loading AI tools
Från Wikipedia, den fria encyklopedin
En formel är vanligen ett uttryck eller en notation som beskriver viktiga samband eller egenskaper med hjälp av olika symboler. Inom logik är en formel i ett formellt språk, till exempel predikatlogik, en följd av symboler ur det alfabet som är definierat för språket, och som är ordnade enligt språkets formeringsregler.[1] Formler i vanlig predikatlogik kan innehålla variabler, både bundna och obundna. En speciell typ av formler är satser som endast får innehålla bundna variabler eller inga variabler alls.[2] Formler som följer formeringsreglerna brukar kallas "välbildade formler" (en. well-formed formulas, eller "wff").
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.