Arkiv: Ord

Här lägger man in ett ord i ordlistan

·

i formell logik: ett av flera tecken för konjunktion (och). Tecknet kallas för punkt på halvhöjd eller halvhöjd punkt, och punkten ska vara på samma höjd som ett bindestreck. Samma tecken används ibland även för multiplikation. Det vanligaste tecknet för konjunktion är annars ∧, men & (et) före­kommer också. – På engelska: interpunct, interpoint, middle dot, middot, centered dot eller centred dot

[logiska symboler] [tecken] [ändrad 24 november 2019]

↔

i formell logik: tecken för ekvivalens. – Tecknet ↔ är likvärdigt med ⇔ och ≡ (tre vågräta streck), men det kan förekomma specialbetydelser.

[logiska symboler] [ändrad 24 november 2019]

⊃

i mängdlära: tecken för övermängd (superset). A⊃B betyder att ”A är en (äkta) över­mängd till B”. Med andra ord: ”B är en (äkta) delmängd till A”. Det innebär att mängden A innehåller allt som finns i mängden B och dessutom mer. (”Äkta” i ”äkta delmängd” betyder att de två mängderna inte är identiska.) – I formell logik är A⊃B likvärdigt med A→B, se implikation. (Om du ser ett rakt streck under ⊃ i rubriken, ignorera det.)

[logiska symboler] [tecken] [ändrad 5 april 2017]

casting

  1. – i ord som broadcasting: utsändning. För ett antal ord på -casting i den betydelse, klicka här;
  2. – type casting – utbyte av en datatyp mot en annan för en eller flera uppgifter (men se också typecasting i Wikipedia);
  3. – andra betydelser: gjutning, rollbesättning, casting (fiskesport) med flera.

– Verbet to cast är samma som svenska att kasta, men det är numera ovanligt i den betydelsen.

[ord på casting] [datakommunikation] [programmering] [radio och tv] [språktips] [ändrad 13 december 2020]

≣

i logik: tecken för ekvivalens. (Tecknet har tre streck, vilket inte alltid syns på bildskärmen. Om du också här ser ett fjärde, lite längre, streck underst, ignorera det.) – Tecknet ≣ är likvärdigt med tecknen ⇔ och ↔. – Jämför med hamburgarmeny.

[logiska symboler] [tecken] [ändrad 5 mars 2022]