Sekvencinis skaičiavimas propozicinei tikėtinumo logikai