數理邏輯造句