Jabarkan Tafsiran (semantik) dari Sistem formal dalam bahasa melayu

Semantik merujuk kepada hubungan antara sistem formal dan dunia luar (yakni tafsiran makna yang diberikan kepada simbol-simbol).

Tafsiran boleh diadakan yang membabitkan nilai benar/palsu kepada perkataan-perkataan. Di sini, biasanya ingin dicari tafsiran di mana setiap teorem merupakan perkataan benar (atau dalam cakap logik, ayat benar).