1.关系推理(一)“A与B不等值；B与C不等值；所以，A与C不等值”与(二)“A蕴涵B；B蕴涵C；所以，A蕴涵C”（）。