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 was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top