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

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Swapnil
- Start date

- #1

- 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

- 454

- 1

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

- #4

verty

Homework Helper

- 2,182

- 198

Oh, perhaps this is circular.

- #5

radou

Homework Helper

- 3,120

- 7

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

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

- 7

What exactly is circular in the definition?

- #8

cristo

Staff Emeritus

Science Advisor

- 8,122

- 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

- 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

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

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

- 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

- 454

- 1

- #14

- 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

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

- 4

Share: