lòginės operãcijos, loginiai teiginių veiksmai, kuriuos taikant sudaromi nauji (sudėtiniai) teiginiai. Klasikinės teiginių logikos pagrindinės loginės operacijos yra neigimas, konjunkcija, disjunkcija, implikacija ir ekvivalentumas. Klasikinėje predikatų logikoje pagrindinės loginės operacijos yra bendrumo ir egzistavimo kvantoriai. Modalumo logikoje – būtinumo ir galimumo operacijos. Loginių operacijų savybes tiria logikos algebra.
| p, | q | ¬ p | p & q | p ∨ q | p → q | p ↔ q |
| t | t | k | t | t | t | t |
| t | k | k | k | t | k | k |
| k | t | t | k | t | t | k |
| k | k | t | k | k | t | t |
35