implikáció

Rövid szöveges bemutatás: 
Az implikáció egy logikai művelet, mely nagyon fontos a következtető eljárások számára. Az implikáció a következtetés igazságértékét formalizálja. Kimondja, hogy hamis állításból következhet igaz és hamis állítás is, azonban igaz állításból csakis igaz állítás következhet, hamis nem. A mellékelt képen megtalálja az igazságtábláját.