logical argument math