عبارت (منطق ریاضی)