Formel
Wikipedia
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 |
[redigera] 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 F1 - F6 ovan är formler. F2 och F3 är exempel på satser som båda är sanna (i "standardtolkningen" av de ingående termerna). Om F1 och F4 är sanna eller falska beror av vilket värde x tilldelas (de är öppna utsagor). Om till exempel x = 9 i F1, så är F1 falsk i standardtolkningen. F2 och F3 kallas instanser till F1 respektive F4. Även F5 är en sats. En predikatlogisk formalisering av den skulle innehålla en bunden variabel men inga obundna. F5 är falsk i standardtolkningen. F6 (ä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 F6 är trots det inte en sats eftersom den innehåller två obundna variabler.
[redigera] Kemi
Kemisk formel är tecken som anger ett ämnes sammansättning, till exempel vatten som har den kemiska formeln H2O. Den avser även reaktionsformel som beskriver jämvikten i ett kemiskt förlopp.
[redigera] Sport
- Motorsport till exempel Formel 1, Formel 2, Formel 3 och Formel 3000.
- En formelbil är en ensitsig bil med friliggande hjul
- Båtsport
[redigera] Data
Formula, ett Lotus Notes programspråk.
[redigera] Se även
- Formell
- Ekvation
