This article was reviewed by member(s) of WikiProject Articles for creation. The project works to allow users to contribute quality articles and media files to the encyclopedia and track their progress as they are developed. To participate, please visit the project page for more information.Articles for creationWikipedia:WikiProject Articles for creationTemplate:WikiProject Articles for creationAfC
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy
Figure 1 purports to show [A → B] as one of the sets in the Venn diagram. But if [A → B] means the same thing as what it is usually taken to mean in propositional logic, then [A → B] is the same thing as [B ∪ A′ ]. Thus its probability should be 1 − x − y, or equivalently, s + t + u + v + w + z. How can the set labeled [A → B] in Figure 1 be regared as [A → B]? Michael Hardy (talk) 22:08, 27 September 2018 (UTC)@Knorlin:[reply]
ok, So it appears that the expression “[A → B]” is not intended to mean what it usually means in propositional logic. I think the article should be explicit about that. Michael Hardy (talk) 22:25, 27 September 2018 (UTC)[reply]
