- 459

- 5

## Main Question or Discussion Point

**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:

- Thread starter Swapnil
- Start date

- 459

- 5

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:

- 452

- 0

It's defined as or. As in A v B is the condition that A holds, or B holds, or both hold.

- 459

- 5

verty

Homework Helper

- 2,157

- 198

Oh, perhaps this is circular.

radou

Homework Helper

- 3,104

- 6

A | B | A V B

-----------------------------------

T | T | T

T | F | T

F | T | T

F | F | F

-----------------------------------

T | T | T

T | F | T

F | T | T

F | F | F

- 459

- 5

I think this is circular too.

Oh, perhaps this is circular.

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]...

radou

Homework Helper

- 3,104

- 6

What exactly is circular in the definition?

cristo

Staff Emeritus

Science Advisor

- 8,056

- 72

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?

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.ORB as true when either A is trueORB is trueORboth are true!

- 459

- 5

Well... nothing yet. Until you start defining [tex]\land[/tex] and [tex]\Rightarrow[/tex]What exactly is circular in the definition?

Notice that

[tex] p \Rightarrow q : = \lnot p \lor q[/tex]

Last edited:

- 459

- 5

I was actually talking about the definition of OR as mentioned by DeadWolfe.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.

cristo

Staff Emeritus

Science Advisor

- 8,056

- 72

Sorry, I read the post incorrectlyI was actually talking about the definition of OR as mentioned by DeadWolfe.

matt grime

Science Advisor

Homework Helper

- 9,394

- 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.

(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:

- 452

- 0

- 459

- 5

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?

- 459

- 5

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. ).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.

matt grime

Science Advisor

Homework Helper

- 9,394

- 3

- Last Post

- Replies
- 4

- Views
- 5K

- Replies
- 4

- Views
- 3K

- Replies
- 2

- Views
- 1K

- Last Post

- Replies
- 6

- Views
- 19K

- Last Post

- Replies
- 4

- Views
- 2K

- Replies
- 7

- Views
- 1K

- Replies
- 1

- Views
- 2K

- Replies
- 2

- Views
- 3K