Probability-and-logic