ZWIĄZEK MIEDZY DWOMA TWIERDZENIAMI JAKIEJŚ TEORII POLEGAJĄCY NA TYM, ŻE JEDNO TWIERDZENIE DAJE SIĘ WYPROWADZIĆ Z DRUGIEGO
ZWIĄZEK MIEDZY DWOMA TWIERDZENIAMI JAKIEJŚ TEORII POLEGAJĄCY NA TYM, ŻE JEDNO TWIERDZENIE DAJE SIĘ WYPROWADZIĆ Z DRUGIEGO - PASUJĄCE ROZWIĄZANIA
- inferencja 10 liter