Логика первого порядка — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний.
Алгебра логики — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Математи́ческая ло́гика — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Имплика́ция — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Закон исключённого третьего — закон классической логики, который формулируется следующим образом: два противоречащих суждения не могут быть оба ложными, одно из них будет истинно: а есть либо b, либо не b. Истинно либо утверждение некоторого факта, либо его отрицание. Третьего не дано.
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают:
- Квантор всеобщности.
- Квантор существования.
- Квантор единственности.
Доказательство «от противного», или апагогическое косвенное доказательство, — вид доказательства, при котором «доказывание» некоторого суждения осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
Деду́кция — вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. В дедукции вывод строится от общих положений к частным случаям. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений (общее), а концом — следствия из посылок, теоремы (частное). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства.
Логика высказываний, пропозициональная логика или исчисление высказываний, также логика нулевого порядка — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные.
Интуициони́стская ло́гика — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930 году.
Отрица́ние в логике — унарная операция над суждениями, результатом которой является суждение, «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов.
Многозначная логика — это логика высказываний, в которой существует более двух истинностных значений логического выражения. Традиционно, в классической логике Аристотеля, мы имеем дело только с двумя возможными значениями — «истиной» или «ложью». Однако данная двухзначная логика может быть дополнена до n — значной с n > 2. Наиболее популярными в литературе являются трехзначная логика, конечнозначная и бесконечнозначная логики.
Силлогистика — теория логического вывода, исследующая умозаключения, состоящие из категорических высказываний (суждений).
Общезна́чимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут: 
.
Закон противоречия — закон логики, который гласит, что два несовместимых суждения не могут быть одновременно истинными — по крайней мере одно из них ложно.
Натуральный вывод — тип логических исчислений, использующий для доказательства утверждений правила вывода, близкие к обычным содержательным методам рассуждений.
Паранепротиворечивая логика — стремление формальной системы к решению проблемы противоречий, с помощью метода дифференциации. Представляет собой область, занимающуюся изучением и развитием «устойчивым к противоречиям» систем, исключающих принцип взрыва.
