逻辑学命题逻辑范式问题为什么非非p或非非q等值于p且q