p1:∃x∈(0,+∞),(12)x<(13)x ;
p2:∃x∈(0,1),log12x>log13x ;
p3:∀x∈(0,+∞),(12)x>log12x ;
p4:∀x∈(0,13),(12)x<log13x .
其中的真命题是( )