logical probability definition