| dbo:abstract
|
- Logikai műveletek alatt az ítéletkalkulus ítéletein definiált műveleteket értünk, amelyek segítségével az ítéletekből újabb, összetett ítéleteket alkothatunk. Az így képezett összetett ítéletek igazságértéke pedig egyértelműen meghatározható a kiindulási ítéletek igazságértékeiből. A logikai művelet, mint általános fogalom, számtalan különféle néven fordul elő a szakirodalomban. A szerzők beszélnek pl. logikai függvényekről, igazságfüggvényekről, logikai operátorokról (ezek közé általában a kvantorokat is beleértve), vagy - ritkábban - junktorokról. A legáltalánosabban használt logikai műveletek a negáció, a konjunkció, a diszjunkció, az implikáció és az ekvivalencia.A logikai műveleteket két nagy csoportba osztjuk: a formális logika és a szimbolikus logika.A formális logika célja a helyes következtetések levonása.A szimbolikus logika szimbólumokat használ:
* Igaz = i, felfelé mutató nyíl, 1, T
* Hamis = h, lefelé mutató nyíl, 0, F (hu)
- Logikai műveletek alatt az ítéletkalkulus ítéletein definiált műveleteket értünk, amelyek segítségével az ítéletekből újabb, összetett ítéleteket alkothatunk. Az így képezett összetett ítéletek igazságértéke pedig egyértelműen meghatározható a kiindulási ítéletek igazságértékeiből. A logikai művelet, mint általános fogalom, számtalan különféle néven fordul elő a szakirodalomban. A szerzők beszélnek pl. logikai függvényekről, igazságfüggvényekről, logikai operátorokról (ezek közé általában a kvantorokat is beleértve), vagy - ritkábban - junktorokról. A legáltalánosabban használt logikai műveletek a negáció, a konjunkció, a diszjunkció, az implikáció és az ekvivalencia.A logikai műveleteket két nagy csoportba osztjuk: a formális logika és a szimbolikus logika.A formális logika célja a helyes következtetések levonása.A szimbolikus logika szimbólumokat használ:
* Igaz = i, felfelé mutató nyíl, 1, T
* Hamis = h, lefelé mutató nyíl, 0, F (hu)
|
