eng

biçimsel dizge ne demek?

biçimsel dizge

(i) bir mantıksal dizge, (ii) özel ilksavlar kümesi, (iii) kanıtsavlar kümesi'nden oluşan dizge. ||Anl. dizimsel dizge, tümdengelimli dizge, ilksavlı dizge. Krş.. mantıksal dizge, kuram, ilksavlı kuram.

TDK Mantık Terimleri Sözlüğü