- #1

Swapnil

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

You should upgrade or use an alternative browser.

- Thread starter Swapnil
- Start date

- #1

Swapnil

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

- #2

DeadWolfe

- 458

- 1

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

- #3

Swapnil

- 459

- 5

- #4

verty

Homework Helper

- 2,185

- 198

Oh, perhaps this is circular.

- #5

radou

Homework Helper

- 3,134

- 8

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

- #6

Swapnil

- 459

- 5

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,134

- 8

What exactly is circular in the definition?

- #8

cristo

Staff Emeritus

Science Advisor

- 8,140

- 74

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?

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

Swapnil

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

- #10

Swapnil

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

- #11

cristo

Staff Emeritus

Science Advisor

- 8,140

- 74

I was actually talking about the definition of OR as mentioned by DeadWolfe.

Sorry, I read the post incorrectly

- #12

matt grime

Science Advisor

Homework Helper

- 9,426

- 4

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:

- #13

DeadWolfe

- 458

- 1

- #14

Swapnil

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

- #15

Swapnil

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

- #16

matt grime

Science Advisor

Homework Helper

- 9,426

- 4

Share:

- Last Post

- Replies
- 1

- Views
- 314

- Last Post

- Replies
- 21

- Views
- 1K

- Replies
- 4

- Views
- 565

- Last Post

- Replies
- 4

- Views
- 1K

- Replies
- 3

- Views
- 357

- Last Post

- Replies
- 0

- Views
- 1K

- Last Post

- Replies
- 7

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 2K

- Replies
- 0

- Views
- 436