Диз'юнкція (від латів. disjunctio – «роз'єднання»), логічна складення, логічна АБО, що включає АБО; іноді просто АБО — логічна операція, яка за своїм застосуванням максимально наближена до союзу «або» у сенсі «або те, чи це, чи обидва одразу».
Диз'юнкція (логічне додавання). Диз'юнкцією двох висловлювань x, y називається нове висловлювання, яке вважається істинним, якщо хоча б одне з висловлювань x або y є істинним і хибним, якщо вони обидва помилкові.
Кон'юнкція (Від лат. Conjunctio – «Спілка, зв'язок») – логічна операціяза змістом максимально наближена до союзу «і». Синоніми: логічне «І», логічне множення, іноді просто «І».
Заперечення (інверсія, від лат. inversio – переворот, логічне «НЕ») у логіці – унарна операція над судженнями, результатом якої є судження, протилежне вихідному. Позначається знаком перед або рисою – над судженням.