Метафи́зика, или «Первая философия» — раздел философии, занимающийся исследованиями первоначальной природы реальности, мира и бытия, посредством, по Канту, чистого разума.
Конечное множество — множество, равномощное отрезку натурального ряда, а также пустое множество, называется конечным. В противном случае множество называется бесконечным. Например,
Bash — усовершенствованная и модернизированная вариация командной оболочки Bourne shell. Одна из наиболее популярных современных разновидностей командной оболочки UNIX. Особенно популярна в среде Linux, где она часто используется в качестве предустановленной командной оболочки.
Имплика́ция — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Триггер — класс электронных устройств, обладающих способностью длительно находиться в одном из двух устойчивых состояний и чередовать их под воздействием внешних сигналов. Каждое состояние триггера легко распознаётся по значению выходного напряжения. По характеру действия триггеры относятся к импульсным устройствам — их активные элементы работают в ключевом режиме, а смена состояний длится очень короткое время.
Семанти́ческая сеть — информационная модель предметной области, имеет вид ориентированного графа. Вершины графа соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть: понятия, события, свойства, процессы. Таким образом, семантическая сеть — это один из способов представления знаний.
Толера́нтность может означать:
- Толерантность в социологии — терпимость к иному мировоззрению, образу жизни, поведению и обычаям.
- Иммунологическая толерантность — иммунологическое состояние организма, при котором он не способен синтезировать антитела в ответ на введение определённого антигена при сохранении иммунной реактивности к другим антигенам.
- Экологическая толерантность — способность организмов жить и развиваться в широком диапазоне условий окружающей среды.
- Толерантность в фармакологии, иммунологии и наркологии — привыкание организма.
- Толерантность в математике — рефлексивное, симметричное, но не обязательно транзитивное бинарное отношение.
- Толерантность переменной — термин регрессионного анализа.
- Инженерная толерантность — допуск, разность между наибольшим и наименьшим предельными значениями, которая задаётся на геометрические размеры деталей, механические, физические и химические свойства.
- Толерантность в биохимии — способность биологических организмов адаптироваться к ядам.
Ти́льда — название нескольких типографских знаков в виде волнистой черты.
Логи́ческий тип да́нных, или булев тип, или булевый тип — примитивный тип данных в информатике, принимающий два возможных значения, иногда называемых истиной (true) и ложью (false). Присутствует в подавляющем большинстве языков программирования как самостоятельная сущность или реализуется через численный тип данных. В некоторых языках программирования за значение истина полагается 1, за значение ложь — 0.
Сравне́ние в программировании — общее название ряда операций над па́рами значений одного типа, либо с приведением типа, реализующих математические отношения равенства и порядка. В языках высокого уровня такие операции, чаще всего, возвращают булево значение.
Инвариа́нт или инвариа́нтность — термин, обозначающий нечто неизменяемое. Конкретное значение термина зависит от той области, где он используется:
Семиотический квадрат в Парижской семиотической школе А. Ж. Греймаса — диаграмма, визуально представляющая элементарную структуру значения, восходящая к логическому квадрату Аристотеля.
Исключа́ющее «или» — булева функция, а также логическая и битовая операция, в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а другой — ложен. Для функции трёх и более переменных — результат выполнения операции будет истинным только тогда, когда количество аргументов, равных 1, составляющих текущий набор, — нечётное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции.
Би́товая опера́ция в программировании — операция над цепочками битов, как правило в этот класс включаются логические побитовые операции и битовые сдвиги. Применяются в языках программирования и цифровой технике, изучаются в дискретной математике.
Диаграмма Венна — схематичное изображение всех возможных отношений нескольких подмножеств универсального множества. На диаграммах Венна универсальное множество 
изображается множеством точек некоторого прямоугольника, в котором располагаются в виде кругов или других простых фигур все остальные рассматриваемые множества.
«Тогда́ и то́лько тогда́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию, соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице.
Логические элементы — устройства, предназначенные для обработки информации в цифровой форме. Физически логические элементы могут быть выполнены механическими, электромеханическими, электронными, пневматическими, гидравлическими, оптическими и другими.
Логическая равнозначность или эквивале́нция — это логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность. Двуместная логическая операция обычно обозначается символом ≡ или ↔.
Ра́венство в математике — бинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.
