【判断题】
设前提: p ? ?q, r ? q. 结论: r ? ?p. 则推理的形式结构为: (p ? ?q) ù (r ? q) ? (r ? ?p).
【简答题】
公式“(pú (qùr)) ? (púqúr)”的主析取范式为:[填空1]
【简答题】
用真值表判断公式“((p?q) ù (q?r)) ? (p?r)”的类型:[填空1]
【简答题】
正等轴测图的轴间角:∠XOY=∠YOZ=∠ZOX= [填空] °;轴向伸缩系数pl =ql= r1= [填空],简化后的轴向伸缩系数p=q=r= [填空] 。
【简答题】
正等轴测图的轴间角:∠XOY=∠YOZ=∠ZOX= [填空] °;轴向伸缩系数pl =ql= r1= [填空],简化后的轴向伸缩系数p=q=r= [填空] 。
【单选题】
公式(P→Q)→(P→R)的成假指派为( ) (按(P, Q, R)的顺序)。
【简答题】
求公式“(pú (qùr)) ? (púqúr)”的主析取范式。
【多选题】
设前提: p?r, ?q?p, ?r. 则下面哪些是其有效结论:
【多选题】
设前提: púq, p?r, q?s. 则下面哪些是其有效结论:
【多选题】
设前提: ?púr, ?qús, pùq. 则下面哪些是其有效结论:
【多选题】
设前提: p??q, ?rúq, rù?s. 则下面哪些是其有效结论: