试用子集与推出关系来说明a是b的什么条件

问题描述:

试用子集与推出关系来说明a是b的什么条件
a:某数是整数的1/3
b:某数与整数相差1/3

A包含于B,则可推出A是B的充要非必要条件