赤ちゃんの舌先が赤紫色になっていることについて

生後半年の男の子についてです。
今日の午前中に、離乳食（白米お粥4日目、麦茶1日目）とミルクをあげたあと、少し遊ばせてからベッドに寝かせたときに、舌先が変色していることに気がつきました。
舌先に沿って赤紫色に変色しており、腫れているのか？傷のせいなのか？舌の先がいつもよりほんの少し割れているような気もします。
原因が、指しゃぶりなどで爪で傷をつけたのか（爪は昨日切ったばかりです。顔はよく引っ掻きますが、口の中に数ができたことはありません）、何か病気のサインなのか、離乳食が関係しているのか分からず、このまま様子を見ていいのか迷っています。
熱いものは与えてないのでやけどではないと思います。
この程度でも病院に行くべきでしょうか？