Logická operace je v matematice taková operace s výroky, jejímž výsledkem je opět výrok, jehož pravdivostní hodnota (PRAVDA nebo NEPRAVDA) závisí na pravdivosti výroků a druhu operace.
Unární logickou operací je negace. Binárními operacemi jsou například konjunkce, disjunkce, implikace a ekvivalence.
sjednocení ∪ {\displaystyle \cup } , průnik ∩ {\displaystyle \cap } , rozdíl ∖ {\displaystyle \smallsetminus } , doplněk C {\displaystyle ^{C}} , symetrický rozdíl ÷ {\displaystyle \div }
negace ¬ {\displaystyle \neg } , konjunkce ∧ {\displaystyle \land } , disjunkce ∨ {\displaystyle \lor } , implikace ⇒ {\displaystyle \Rightarrow } , ekvivalence ⇔ {\displaystyle \Leftrightarrow } , …
sčítání + {\displaystyle +} , odčítání − {\displaystyle -} , násobení ⋅ {\displaystyle \cdot } , dělení / {\displaystyle /} , umocňování ^ {\displaystyle {\hat {}}} , odmocňování √, tetrace ^ {\displaystyle {\hat {}}} ^ {\displaystyle {\hat {}}} , superodmocňování √s, pentace ^ {\displaystyle {\hat {}}} ^ {\displaystyle {\hat {}}} ^ {\displaystyle {\hat {}}} , …
identita, posunutí, otočení, středová a osová souměrnost
stejnolehlost
vektorový součin, tenzorový součin, vnější součin, smíšený součin
transpozice
inverze − 1 {\displaystyle ^{-1}} , skládání ∘ {\displaystyle \circ }
derivace d x {\displaystyle \mathrm {d} x} , integrace ∫ {\displaystyle \int } , konvoluce ∗ {\displaystyle *}