(adsbygoogle = window.adsbygoogle || []).push({}); Philosophy of basic set theory proofs involving "or".

Hey!

I'm working through an Introduction to Analysis text, and I'm currently on the first chapter, which covers set theory. In one of the end-of-chapter problems, I'm asked to prove a basic theorem which leads to the following statement: x is an element of A, and (x is an element of B or x is an element of C).

My text (Maxwell Rosenlicht's Introduction to Analysis) lacks in the "example" department, and so for a little while, I wasn't sure how to handle this statement. I've been pondering this for a few days, and realized that "a or b" is true if:

1. a is true. b is false.

2. b is true. a is false.

3. both a and b are true.

So, I realized that the only thing I could do was split the argument into these three possibilities. I then showed that for my particular proof, all three possibilities lead to the same statement.

I have a quick question: Is it common practice in set theory to split "or" statements into the three possible statements which can make it true, and proceed in this way? It makes a lot of sense intuitively, but I've never seen it done in any professional papers. Is there any other way to handle such statements? Thanks.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Philosophy of basic set theory proofs involving or .

Loading...

Similar Threads - Philosophy basic theory | Date |
---|---|

I Basic Poisson Statistic | Apr 2, 2017 |

I Basic question about set theory | Jul 6, 2016 |

"Feeling" the relation of math to the real world | Feb 2, 2016 |

Explaining Probabilities in a deterministic world | Apr 23, 2015 |

Maths/philosophy question - equation for 'tomorrow never comes' | Nov 11, 2014 |

**Physics Forums - The Fusion of Science and Community**