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.

Lent. Loginės operacijos
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

Papildoma informacija
Turinys
Bendra informacija
Straipsnio informacija
Autorius (-iai)
Redaktorius (-iai)
Publikuota
Redaguota
Siūlykite savo nuotrauką