Skip to main content

All Questions

2 votes
1 answer
51 views

The Verification of a Logical Statement in Jaynes' Book

Could you please help me with the following question, posed in the first chapter of Jaynes' Probability Theory? Take $$C\equiv(A+\bar B)(\bar A+A\bar B)+\bar AB(A+B)$$ The verification of $$C=(B \...
Nicki Bood's user avatar
7 votes
3 answers
296 views

Is $P(tautology) = 1$? What are the connections between logic and probability?

It's well-known that sets are "isomorphic" to logic: if we treat $\varphi(A_1, A_2)$ as a shorthand for $\forall x: \varphi(x \in A_1, x \in A_2)$ then $A \land B \equiv A \cap B$ and $A \rightarrow B ...
Jonas Kölker's user avatar