Шаблон:Список ЛП — различия между версиями
м |
м |
||
| Строка 15: | Строка 15: | ||
*'''[[Предикат]];''' | *'''[[Предикат]];''' | ||
*'''[[Исчисление высказываний]];''' | *'''[[Исчисление высказываний]];''' | ||
| + | *'''[[Специальное исчисление высказываний]];''' | ||
*'''[[Секвенции]];''' | *'''[[Секвенции]];''' | ||
*'''[[Суждение]];''' | *'''[[Суждение]];''' | ||
