Template:User 逻辑学

${\begin{smallmatrix}\forall x(P(x)\rightarrow Q(x))\end{smallmatrix}}$

这个用户
对逻辑学感兴趣