פסוק (לוגיקה מתמטית)