We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
Раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.