填空题
EA;EB
用归谬法推证下列各题的有效结论:p→q,(q∨r)∧r,(p∧s)=>s
问答题用归谬法推证下列各题的有效结论:p→q,(¬q∨r)∧¬r,¬(¬p∧s)=>¬s
设f:X→Y为一函数,f-Y×X为f的逆关系,那么f-是()A.Y到X的函数B.X到Y的函数C.Y到X的单射D...
单项选择题设f:X→Y为一函数,f-⊆Y×X为f的逆关系,那么f-是()
A.Y到X的函数 B.X到Y的函数 C.Y到X的单射 D.Y到X的关系
用归谬法推证下列各题的有效结论:r→q,r∨s,s→q,p→q=>p
问答题用归谬法推证下列各题的有效结论:r→¬q,r∨s,s→¬q,p→q=>¬p