MHB Venn Diagram: p v (q ^ r) = (p v q) ^ (p v r)

  • Thread starter Thread starter barbara
  • Start date Start date
  • Tags Tags
    Diagram Venn
Click For Summary
The discussion focuses on demonstrating the equivalence of the logical expressions p v (q ^ r) and (p v q) ^ (p v r) using a Venn diagram. Participants are encouraged to visualize the union and intersection of sets to understand the relationships between the variables. Additionally, it is highlighted that the expression p v (q ^ r) is not equivalent to (p v q) ^ r, prompting users to explore this distinction independently. The use of resources like Wolfram|Alpha is recommended for further exploration and clarification of these concepts. Understanding these logical relationships is essential for grasping foundational principles in set theory and logic.
barbara
Messages
10
Reaction score
0
can someone give me show me a venn diagram that will satisfy this statement
Venn diagram to show that the statement p v (q ^ r) is equivalent to (p v q) ^ (p v r) and show that this statement is not equivalent to (p v q) ^ r.
 
Physics news on Phys.org
Here is the first half of your request:

Try to do the second one on your own-remember that the "vee" symbol represents UNION, and the "wedge" symbol represents INTERSECTION (when doing a Venn diagram):

View attachment 5083

Wolfram|Alpha (Wolfram|Alpha: Computational Knowledge Engine) is a great resource for budding mathematicians/students, and even just the interested lay-person.
 

Attachments

  • WolframAlpha--P_union_Q_intersect_R--2015-12-19_2248.jpg
    WolframAlpha--P_union_Q_intersect_R--2015-12-19_2248.jpg
    4.6 KB · Views: 107
Hello, I'm joining this forum to ask two questions which have nagged me for some time. They both are presumed obvious, yet don't make sense to me. Nobody will explain their positions, which is...uh...aka science. I also have a thread for the other question. But this one involves probability, known as the Monty Hall Problem. Please see any number of YouTube videos on this for an explanation, I'll leave it to them to explain it. I question the predicate of all those who answer this...
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
Back
Top