I've been surprised to not find anything for ctrl-F "Bayes". It turns out that traditional deductive logic is simply a special case of applying Bayes rule in order to find out the state of some binary variables given the other variables in which the probabilities are only 0 or 1. See for example these examples from Barber's "Bayesian Reasoning and Machine Learning" (p. 39):