网站首页
编程语言
数据库
系统相关
其他分享
编程问答
turorial
2024-05-30
幽夜默示录 Turorial
幽夜默示录解析没有爱就看不见P1直接构造前件为真,后件为假的情况即可。比如可令\(P(x,y)\)永真、\(Q(x,y)\)永假。P2构造时满足「对于任意的\(y\)」存在「不同的\(x\)」满足\(P(x,y)\)即可。比如\[P=\left(\begin{matrix}0&1\\1&0\end{matrix}\right)\]P3注