UAB := ¬∃(Ax∧Bx)
なる U があれば NAND だけで命題論理が作れるようにそれだけで一階述語論理が作れるってマジ？