Formel
- Denna artikel handlar om formler inom logik och matematik. För formler inom kemi, se kemisk formel och reaktionsformel. För magiska ramsor, se trollformel. För formelbilar inom motorsport, se formelbil.
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").
Se även
redigera- Formel på Wikibooks.
- Ekvation
- Naturlag
- Teorem
- Trollformel
Referenser
redigeraNoter
redigera- ^ Bennet 2013, s. 53.
- ^ Bennet 2013, s. 30.
Källor
redigera- Bennet, Christian. ”Första ordningens logik” (PDF). Göteborgs universitet. Arkiverad från originalet den 15 februari 2015. https://web.archive.org/web/20150215162532/http://gul.gu.se/public/pp/public_courses/course67422/published/1416925130729/resourceId/27991302/content/F%C3%B6rsta%20ordningens%20logik.pdf. Läst 17 februari 2015.