document.getElementById("med-ftitle").innerHTML=`基于分辨率的多值逻辑定理证明
`;