問答題

設(shè)公理集:
P,
(P∧Q)→R,
(S∨T)→Q,
T
用歸結(jié)原理求證:R


您可能感興趣的試卷

你可能感興趣的試題