dizimsel sonuç anlamı İng. syntactic consequence Alm. syntaktische Folgerung Fr. conséquence syntaxique
p gibi bir önermenin, K önerme kümesinin bir dizimsel sonucu olması, p nin K dan türetilebilmesi (K|- p) demektir.