Operacja (logika)

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania
Zobacz też: inne znaczenia wyrazu „operacja”.

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.