müasir formal məntiqin sistem və anlayışlarını tədqiq edən nəzəriyyə. sübutlar, formallaşdırılmış dillərdə həqiqət, anlayışların müəyyənedilənliyi, təfsir, məna və s. nəzəriyyəsi məsələlərini tədqiq edir. iki bölməyə ayrılır: <br /> 1.(baxma: <a href="https://soz6.com/sds-search.php?query=<a href="https://soz6.com/sds-search.php?query=məntiqi sintaksis" class="bbcodeout" title="məntiqi sintaksis">məntiqi sintaksis</a>" class="bbcodeout" title="<a href="https://soz6.com/sds-search.php?query=məntiqi sintaksis" class="bbcodeout" title="məntiqi sintaksis">məntiqi sintaksis</a> - boş başlıq - bu barədə ilk sən yaz!" rel="nofollow"><a href="https://soz6.com/sds-search.php?query=məntiqi sintaksis" class="bbcodeout" title="məntiqi sintaksis">məntiqi sintaksis</a></a>)<br /> 2.(baxma: <a href="https://soz6.com/sds-search.php?query=<a href="https://soz6.com/sds-search.php?query=məntiqi semantika" class="bbcodeout" title="məntiqi semantika">məntiqi semantika</a>" class="bbcodeout" title="<a href="https://soz6.com/sds-search.php?query=məntiqi semantika" class="bbcodeout" title="məntiqi semantika">məntiqi semantika</a> - boş başlıq - bu barədə ilk sən yaz!" rel="nofollow"><a href="https://soz6.com/sds-search.php?query=məntiqi semantika" class="bbcodeout" title="məntiqi semantika">məntiqi semantika</a></a>)