logikens tecken för inklusiv disjunktion (eller). – Observera att om du i din webbläsare ser ett streck under det V‑liknande tecknet så hör det inte till tecknet.
[logiska symboler] [tecken] [ändrad 25 november 2019]
Kategori: logik
→
logikens tecken för implikation (om—så).– Ett pilformat tecken kan givetvis dessutom ha många andra betydelser.
[logiska symboler] [tecken] [ändrad 24 november 2019]
∧
logikens tecken för konjunktion (och). Observera att detta tecken står på radens nedre linje, som en bokstav, till skillnad från cirkumflex accent: ^, som är upphöjd.
[logiska symboler] [tecken] [ändrad 15 mars 2023]
truth table ⇢
– i logik: se sanningsvärdetabell.
truth value ⇢
– i logik: se sanningsvärde.
OM SÅ ⇢
eller OMSÅ – i programmering: se implikation.
nästling
(nesting) – placering av något inuti något annat i två eller flera lager: A ligger inuti B som ligger inuti C och så vidare. Parenteser inuti parenteser i matematik är ett vanligt exempel på nästling. – Ordet nästling förekommer i former som nästla, nästlad och används i flera sammanhang, till exempel logik, matematik och programmering. – Se också containment. – Kallas också för kapsling.
[matematik och logik] [programmering] [ändrad 7 december 2020]
NOT
nesting ⇢
neller ⇢
– se NOR.