What is the Set-Theoretic Product of Two Sets in Discrete Math?

  • Thread starter Thread starter JungleJesus
  • Start date Start date
  • Tags Tags
    Product
AI Thread Summary
The discussion focuses on the need to explain the set-theoretic product of two sets, A and B, as part of a Discrete Math course. The original poster expresses difficulty in finding clear explanations of this concept. Participants suggest looking into the Cartesian product, which is a related concept in set theory. It is recommended to seek further clarification if specific questions arise after initial research. Understanding the set-theoretic product is essential for the course's curriculum.
JungleJesus
Messages
36
Reaction score
0
I am helping design a course in Discrete Math through Computer Science. One of the topics I must cover is set theory. The only remaining set theory topic that I need to cover is the set-theoretic product of two sets A and B.

I haven't found any helpful explanations of this concept. Can anyone help me?


Here is a link to the course standards: http://opas.ous.edu/Work2009-2011/OregonDiscreteMathStandardJune2009.pdf"
 
Last edited by a moderator:
Physics news on Phys.org
JungleJesus said:
I I need to cover is the set-theoretic product of two sets A and B.

I haven't found any helpful explanations of this concept. Can anyone help me?Here is a link to the course standards: http://opas.ous.edu/Work2009-2011/OregonDiscreteMathStandardJune2009.pdf"

Look up the Cartesian product of two sets.

If, after making some effort, you still have specific questions, come back and someone may help you.
 
Last edited by a moderator:
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.
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 was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top