存在命題の否定

ある会社の全商品を購入している取引先が存在するなら、全ての商品が少なくとも一つの取引先に購入されていることになり、「取引先のいずれにも購入されていない商品が存在する」ことは論理的に否定される。