En formel kan vara en en ramsa, som har en strängt fastställd lydelse med förment magisk effekt om den uttalas exakt - en trollformel. Numera är den vanligen ett uttryck eller notation, som beskriver viktiga samband eller egenskaper med hjälp av olika symboler.

Logik

---

En formel i ett logiskt språk, t.ex. predikatlogik, är en utsaga som 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. Formler som ej är satser kallas även öppna utsagor och satser är samma sak som slutna utsagor. Slutna utsagor uttrycker bestämda påståenden. Sanningsvärdet hos en öppen utsaga beror av vilka värden variablerna tilldelas. Sanningsvärdet hos en sluten utsaga ges av hur satsen tolkas i modellen (sann eller falsk).

• Exempel:

F₁: x är ett primtal F₂: 7 är ett primtal F₃: 5 + 7 = 12 F₄: 5 + x = 12 F₅: Alla primtal är udda (utom talet 2) F₆: (x + y)(x - y) = x² - y²

Alla utsagorna F₁ - F₆ ovan är formler. F₂ och F₃ är exempel på satser som båda är sanna (i "standardtolkningen" av de ingående termerna). Om F₁ och F₄ är sanna eller falska beror av vilket värde x tilldelas (de är öppna utsagor). Om t ex x = 9 i F₁, så är F₁ falsk i standardtolkningen. F₂ och F₃ kallas instanser till F₁ respektive F₄. Även F₅ är en sats. En predikatlogisk formalisering av den skulle innehålla en bunden variabel men inga obundna. F₅ är falsk i standardtolkningen. F₆ (även känd som "konjugatregeln") är ett exempel på en formel som inte är en sats utan en öppen utsaga. Visserligen kommer formeln få sanningsvärdet "sant" oavsett vilka värden x och y tilldelas (vi förutsätter att domänen är de reella talen), men F₆ är trots det inte en sats eftersom den innehåller två obundna variabler.

Kemi

---

Kemisk formel är tecken som anger ett ämnes sammansättning, t.ex. vatten som har den kemiska formeln H₂O. Den avser även reaktionsformel som beskriver jämvikten i ett kemiskt förlopp.

Sport

---

• Motorsport t.ex. Formel 1, Formel 2, Formel 3 och Formel 3000.
  • En formelbil är en ensitsig bil med friliggande hjul
• Båtsport

Data

---

Formula, ett Lotus Notes programmeringsspråk.

Se även

---

• Formell
• Ekvation

Logik | Matematik

Formel | Formel (Mathematik) | Formula | Formulo | Fórmula | Képlet | Formula | 公式 | Fórmula | Формула | Formula | Formula | Rumus | 数学公式