A.p→﹁q
B.q→p
C.p∨﹁q
D.p↔q
E.p→q

A.（﹁p→q）∧p├﹁q
B.（p→﹁q）∧q├﹁p
C.（﹁p←﹁q）∧﹁p├q
D.（p←﹁q）∧﹁q├p
E.（p→﹁q）∧p├﹁q

A.选言推理的肯定否定式
B.联言推理的分解式
C.选言推理的否定肯定式
D.充分条件推理的肯定前件式
E.充分条件推理的否定后件式

A.p←﹁q
B.p→﹁q
C.p∨q
D.﹁p∨﹁q
E.﹁p←q

A.矛盾关系
B.等值关系
C.差等关系
D.反对关系
E.蕴涵关系

A.矛盾关系
B.等值关系
C.下反对关系
D.反对关系
E.蕴涵关系

A.﹁r∨﹁s
B.r∧s
C.﹁p∧﹁q
D.﹁p∨﹁q
E.r∨s

A.触犯刑律
B.没有构成犯罪
C.没有触犯刑律
D.构成犯罪
E.并未构成犯罪

A.（p←﹁q）∧﹁q├p
B.（﹁p←q）∧p├﹁q
C.（﹁p←﹁q）∧p├q
D.（﹁p←q）∧﹁p├q
E.（p←﹁q）∧q├﹁p

A.（p→﹁q）∧﹁p├q
B.（p→﹁q）∧q├﹁p
C.（﹁p→q）∧p├﹁q
D.（﹁p→﹁q）∧q├p
E.（﹁p→q）∧q├﹁p

A.（p∨q）∧p├﹁q
B.（pqr）∧﹁p├q∧r
C.（pqr）∧﹁p├qr
D.（p∨q∨r）∧﹁p├q∨r
E.（p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s