Operacja (logika)

Ten artykuł od 2022-04 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Operacja logiczna – działanie lub zespół działań (zwłaszcza przekształceń) dokonywanych zgodnie z odpowiednimi regułami logicznymi na pewnych wyrażeniach w celu realizacji określonego zadania, np. udowodnienia danej tezy.