matematikk.net

Hei, jeg oversetter matematisk tekst fra finlandsvensk til norsk, og har kommet til et problem.

Det som på svensk heter "identisk sann ekvation" heter på norsk "identitet"; altså likninger av typen x=x, som stemmer for alle x-verdier. Men hva kalles en "identisk falsk ekvation" i Norge? Altså, en ligning av typen x+1=x, som ikke er sann for noen x-verdi? Er det rimelig å kalle denne typen ligninger for "usannheter" på norsk?

Hilsen Lars.

Jeg ville kalt dette for en tom sannhet, siden påstanden x+1=x er sant for alle x i den tomme mengden, men ikke for noen andre x. Om dette er vanlig ordbruk vet jeg ikke, men det er ikke langt unna det engelske vacuous truth.