Sintaks (logika)