deducció logic