Indukcja logiczna