A且B能否推出A?A且B→A