Deduktion är i formella logiska system, som satslogik och predikatlogik, identiskt med härledning av slutsatser från givna premisser. Deduktion är här ett syntaktiskt begrepp, vilket betyder att det är möjligt att med slutledningsreglerna kontrollera följdriktigheten av deduktionen. Man behöver således inte känna till meningen av, utan endast relationer mellan, de ord som uppträder i premisser och slutsats. Ett formellt deduktivt system består av ett antal axiom och minst en slutledningsregel.

Allmän plats, juridiskt begrepp vars ursprung kommer från den allmänna ordningsstadgan från 1956, som numera är upphävd. Allmän plats avsåg då väg, gata, torg eller område som är tillgängligt för alla. Begreppet används på det stora hela inte idag, utan har ersatts med benämningen offentlig plats. Allmän plats förekommer dock fortfarande i plan- och bygglagen, i vapenlagen och i brottsbalken. I brottsbalken avser man då också tåg, affärer, restauranger, kyrkor och teatrar som allmänna platser.

Ett företag är en organisation som samordnar resurser, som till exempel arbetkraft, kapital, teknik och information, för att utveckla, producera och sälja varor eller tjänster. Ett företag kan drivas i olika former beroende på typ av verksamhet, ägande, riskvillighet, kapitalinsats med mera. Inom ämnet företagsekonomi ger man begreppet företag en bredare innebörd, där det definieras som en sammanslutning av personer som bedriver ett medvetet arbete för att uppnå ett eller flera mål.