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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.