logikai ekvivalencia

Kapcsolódó fogalmak: 
kommutativitás
Kapcsolódó fogalmak: 
ekvivalencia
Kapcsolódó könyvfejezetek: 
7.3. A logika
Rövid szöveges bemutatás: 
A logikai ekvivalenciához tartoznak a különböző matematikai azonosságok. Ilyen az asszociativitás, disztributivitás és társaik. Ezek olyan matematikai egyenlőségek, melyek azt fejezik ki, hogy két hasonló alakban felírt kifejezés egyenlő. Például (a+b = b+a). Sok fajtája van, és a legtöbb ilyen ekvivalencia fennállás magától a problémakörtől és a bevezetett operátoroktól is függ. Ezeknek az egyenlőségeknek a megállapítására szolgál az ekvivalencia vizsgálat. Erről további információkat találhat, a mellékelt weboldalon.