• 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注