Шаблон:Список ЛП — различия между версиями
м |
м |
||
| Строка 14: | Строка 14: | ||
*'''[[Трёхмерная карта Карно]];''' | *'''[[Трёхмерная карта Карно]];''' | ||
*'''[[Предикат]];''' | *'''[[Предикат]];''' | ||
| + | *'''[[Исчисление высказываний]];''' | ||
*'''[[Секвенции]];''' | *'''[[Секвенции]];''' | ||
*'''[[Суждение]];''' | *'''[[Суждение]];''' | ||
Версия 04:57, 2 апреля 2025
- Логический закон;
- Логические функции;
- Нормальные формы:
- Таблица истинности;
- Карта Карно;
- Трёхмерная карта Карно;
- Предикат;
- Исчисление высказываний;
- Секвенции;
- Суждение;
- Умозаключения.
