جبر و احتمال استدلال استنتاجی