if then ⇢ eller ifthen – står i programmering för om–så – se implikation. [logik] [programmering] [ändrad 17 november 2018]