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.