这个命题本来就是同义反复.
在此命题中检验真理的途径看似有两条：1.实践；2理论.
但仔细推敲就不难发现,实际此命题中待检验的对象一定是一个理论.也就是说要么用另一个理论来检验一个理论,要么用实践（或实验）来检验.前者显然会遇到两个问题：1.用来检验理论的理论本身需要被检验；2.用理论检验理论本身应用的是逻辑推理,也属于理论,所以这个检验过程本身需要被检验.
再来看什么是真理.所谓真理就是指理论待证明的目标,换种说法就是经过证明为真的理论就是真理.那在此命题中的真就是指事实,或者说是被实验所证明为真了.
因此真理就是被实践检验过的理论,那自然理论要经过实践才能认为是真理.
因此此命题为同义反复.