7.3 Műveletek állításokkal, logikai értékekkel
Az előző alfejezetben említettük, hogy különböző formalizmusok segítségével újabb összetett állításokat képezhetünk, így bevezethetjük a logikai művelet fogalmát.
Logikai művelet: Egy olyan eljárást, amely egy vagy több kijelentésből olyan kijelentést képez, mely igaz vagy hamis voltát a benne szereplő kijelentések igaz illetve hamis volta egyértelműen meghatározza, logikai műveletnek nevezzük.
Elnevezések.
Tagok: A műveletben szereplő kijelentések.
Logikai művelet eredménye: Logikai műveletekkel képzett kijelentések igaz vagy hamis értéke.
Jelölések.
A kijelentések jelölésére a magyar ábécé kisbetűit, általában a p q r betűket használjuk.
Egy-, két-, három-, ..., n-változós művelet: A logikai műveletek osztályozhatók aszerint, hogy egy-, két-, három-, ..., n kijelentésből képeznek új kijelentést.