• 2022-06-11
    证明 [tex=11.357x1.357]iz/Wf0KabVZ2hGLWFDxvgyDzkT6ZT0pnXxvb7c8h/Ibn9V6a1tNMXzSntHmtIBCKq0uRbZkfr/oXkBGgBDQMEXL1+EQJCPgS9DoKhqUvnEg=[/tex] 其中 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 为谓词逻辑中任何公式.