Числення секвенцій: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Addbot (обговорення | внесок) м Вилучення 7 інтервікі, відтепер доступних на Вікіданих: d:q1771121 |
Dƶoxar (обговорення | внесок) мНемає опису редагування |
||
Рядок 15:
* <math>\Gamma ,\Phi</math> ... ([[скінченна множина|скінченні множини]] формул)
* <math>\varphi , \psi , \rho</math> ... (формули логіки першого порядку)
* <math>\vdash</math> ... (Символ, що показує, що з формул з лівої сторони (
* <math>\neg</math> ... (символ логічного заперечення)
* <math>\vee</math> ... (символ [[диз'юнкція|диз'юнкції]])
|