Från Rilpedia

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.

Innehåll 1 Logik 2 Kemi 3 Sport 4 Data 5 Se även

Logik

En formel i ett logiskt språk, till exempel 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:

F1: x är ett primtal
F2: 7 är ett primtal
F3: 5 + 7 = 12
F4: 5 + x = 12
F5: Alla primtal är udda (utom talet 2)
F6: (x + y)(x - y) = x2 - y2

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 till exempel 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, till exempel vatten som har den kemiska formeln H₂O. Den avser även reaktionsformel som beskriver jämvikten i ett kemiskt förlopp.

Sport

• Motorsport till exempel 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 programspråk.

Se även

• Formell
• Ekvation