• 2022-05-26
    在自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex] 中构造下列推理的证明.[br][/br]前提 [tex=9.571x1.143]IWR8aHpwD3TF64coGhvgv4629l63kYdzHUwbo2u/dcjLgDgx5IMMJkwpEafVW3ygSS8T7E9YPcAx1Ah3WvCWkkWMz6Pf8rdu2I3HohQO2x8=[/tex]结论[tex=2.5x1.071]zBGy4/llz0yMQ956MKe8mw==[/tex]