首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
Template
:
User 逻辑学
语言
监视
编辑
∀
x
(
P
(
x
)
→
Q
(
x
)
)
{\displaystyle {\begin{smallmatrix}\forall x(P(x)\rightarrow Q(x))\end{smallmatrix}}}
这个用户
对
逻辑学
感兴趣