dizimsel sonuç
dizimsel sonuç İng. syntactic consequence
p gibi bir önermenin, K önerme kümesinin bir dizimsel sonucu olması, p nin K dan türetilebilmesi (K|- p) demektir.
dizimsel sonuç için benzer kelimeler
dizimsel sonuç, 14 karakter ile yazılır. Ayrıca,
d harfi ile başlar, ç harfi ile biter. Tüm karakter dağılımı ise,
'd', 'i', 'z', 'i', 'm', 's', 'e', 'l', ' ', 's', 'o', 'n', 'u', 'ç', şeklindedir.
dizimsel sonuç kelimesinin tersten yazılışı çunos lesmizid diziliminde gösterilir.