Satslösning avser den process eller det resultat där man hittar värden för de obekanta variablerna i en matematisk ekvation eller ett ekvationssystem som gör att ekvationen/ekvationerna stämmer.