Mantık Terimleri Sözlüğü
dizimbilim
Bir sözedilen dilin kurma kurallarıyla çıkarım kurallarını saptayan, önermeler arasındaki türetilebilme bağıntısını tanımlayan, deyimlerin salt dizimsel yapılarına ilişkin kanıtsavları ortaya koyan dizimsel sözeden dildeki sözeden kuram.