Unions and Intersections

  • Thread starter Swapnil
  • Start date
  • #1
459
5
Defining OR

Given set A and B, the union is defined as

[tex]A\cup B := \{x | x \; \epsilon A \lor x \; \epsilon \; B \}[/tex]

But how is [tex]\lor[/tex] defined?
 
Last edited:

Answers and Replies

  • #2
453
0
It's defined as or. As in A v B is the condition that A holds, or B holds, or both hold.
 
  • #3
459
5
But isn't that circular definition? You are defining A OR B as true when either A is true OR B is true OR both are true!
 
  • #4
verty
Homework Helper
2,164
198
Perhaps this is better. It is a binary function that maps 2-tuples of truth values to a truth value which is false for (0,0) and true otherwise.

Oh, perhaps this is circular.
 
  • #5
radou
Homework Helper
3,115
6
A | B | A V B
-----------------------------------
T | T | T
T | F | T
F | T | T
F | F | F
 
  • #6
459
5
Perhaps this is better. It is a binary function that maps 2-tuples of truth values to a truth value which is false for (0,0) and true otherwise.

Oh, perhaps this is circular.
I think this is circular too.

Correct me if I am wrong. You define OR as a function [tex]f: (x,y) \to z[/tex] where [tex] x,y,z \; \epsilon \; \{0, 1\}[/tex] satisfying the following property:

[tex](x,y) = (0,0) \Rightarrow z = 0 \land (x,y) \neq (0,0) \Rightarrow z = 1 [/tex]

I guess the circularity of this definition depends on how you define [tex]\land[/tex] and [tex]\Rightarrow[/tex]...
 
  • #7
radou
Homework Helper
3,115
6
What exactly is circular in the definition?
 
  • #8
cristo
Staff Emeritus
Science Advisor
8,107
73
Given set A and B, the union is defined as

[tex]A\cup B := \{x | x \; \epsilon A \lor x \; \epsilon \; B \}[/tex]

But how is [tex]\lor[/tex] defined?
But isn't that circular definition? You are defining A OR B as true when either A is true OR B is true OR both are true!
This is not a definition of "A or B"; it is a definition of the union of the sets A and B. This is not a circular definition.
 
  • #9
459
5
What exactly is circular in the definition?
Well... nothing yet. Until you start defining [tex]\land[/tex] and [tex]\Rightarrow[/tex]

Notice that
[tex] p \Rightarrow q : = \lnot p \lor q[/tex]
 
Last edited:
  • #10
459
5
This is not a definition of "A or B"; it is a definition of the union of the sets A and B. This is not a circular definition.
I was actually talking about the definition of OR as mentioned by DeadWolfe.
 
  • #11
cristo
Staff Emeritus
Science Advisor
8,107
73
I was actually talking about the definition of OR as mentioned by DeadWolfe.
Sorry, I read the post incorrectly :blushing:
 
  • #12
matt grime
Science Advisor
Homework Helper
9,395
3
There is nothing at all 'circular' in any of these definitions. It would have been better written as

(x in A)v(x in B)

to avoid confusion (his A and B are not your A and B). What on earth do you think the definition of logical OR is if not what was given? V is just another symbol for logical OR.

Do'nt confuse sets with conditions that define the sets: the defining condition for a union of two sets is the disjunction (OR) of the individual conditions.
 
Last edited:
  • #13
453
0
How on earth is my definition is circular. I said that v is defined to be or. Not that or is defined to be or. Pay attention.
 
  • #14
459
5
How on earth is my definition is circular. I said that v is defined to be or. Not that or is defined to be or. Pay attention.
But they are the same thing! Call it 'V', or 'OR' or 'or.' It is still a logical OR.

Anyways, say that you do define v to be or. The how do you then define or?
 
  • #15
459
5
What on earth do you think the definition of logical OR is if not what was given? V is just another symbol for logical OR.

Do'nt confuse sets with conditions that define the sets: the defining condition for a union of two sets is the disjunction (OR) of the individual conditions.
I know that. I am just asking how the disjunction (OR) is defined. (I guess I should have never brought sets in my question. And my title was a big mistake too. :blushing: ).
 
  • #16
matt grime
Science Advisor
Homework Helper
9,395
3
Look at the (expletive deleted) truth table. That is how OR and DISJUNCTION are defined (they are after all just different names for the same thing).
 

Related Threads on Unions and Intersections

  • Last Post
Replies
4
Views
5K
Replies
2
Views
1K
Replies
4
Views
3K
Replies
6
Views
19K
Replies
4
Views
2K
Replies
7
Views
1K
Replies
1
Views
2K
Replies
2
Views
3K
Replies
0
Views
3K
  • Last Post
Replies
4
Views
1K
Top