Deciding if a statement is true or false regarding null sets/elements

  • Context: Undergrad 
  • Thread starter Thread starter dirtypurp
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around determining the truth values of several statements involving null sets and elements, focusing on set membership and subset relationships. Participants are exploring logical interpretations and the implications of using different symbols for the empty set.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that the first two statements are true, while others challenge this interpretation.
  • There is a suggestion to be cautious about distinguishing between elements and subsets in set notation.
  • One participant proposes simplifying the notation to clarify the statements being evaluated.
  • Participants express uncertainty about the symbol φ, with some interpreting it as the empty set and others questioning this interpretation.
  • There is a claim that half of the statements are true and half are false, though this is not universally accepted.
  • Some participants note that the interpretation of φ affects the truth values of the statements, particularly in relation to subsets and elements.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the truth values of the statements, with multiple competing views and interpretations remaining throughout the discussion.

Contextual Notes

Participants express confusion over the notation used for the empty set, which affects their evaluations of the statements. There are also unresolved assumptions regarding the definitions and interpretations of the symbols involved.

dirtypurp
Messages
8
Reaction score
1
So far I have determined that first two statements are true but really need help on understanding proper logic as I don't think I am doing it right.

1 State whether the following are True or False

a.) {{φ}} ∈ {{φ}, {φ}}

b.) {φ} ∈ {{φ}, {φ}}

c.) {{φ}} ⊆ {φ, {φ}}

d.) φ ⊆ {φ, {φ}}

e.) φ ∈ {φ, {φ}}

f.) {φ} ⊆ {{φ, {φ}}}
 
Physics news on Phys.org
You need to be careful about counting brackets. Make sure that a statement that refers to an element is in the other set as an element, not just a subset. For further help, you need to show how you are interpreting each side: element, set, subset, etc.
 
dirtypurp said:
So far I have determined that first two statements are true

First one is false.
 
  • Like
Likes   Reactions: PeroK
dirtypurp said:
So far I have determined that first two statements are true but really need help on understanding proper logic as I don't think I am doing it right.

1 State whether the following are True or False

a.) {{φ}} ∈ {{φ}, {φ}}

b.) {φ} ∈ {{φ}, {φ}}

c.) {{φ}} ⊆ {φ, {φ}}

d.) φ ⊆ {φ, {φ}}

e.) φ ∈ {φ, {φ}}

f.) {φ} ⊆ {{φ, {φ}}}
What I would do first is replace all these sets with simpler notation. E.g:

##\varphi = A, \ \{ \varphi \} = \{ A \} = B, \ \{ \{ \varphi \} \} = \{ B \} = C##
 
  • Like
Likes   Reactions: Klystron, FactChecker, sysprog and 1 other person
Math_QED said:
First one is false.

Yes I tried learning it again last night and I have gotten F, T, T, T, T, F.
 
  • Like
Likes   Reactions: FactChecker
dirtypurp said:
Yes I tried learning it again last night and I have gotten F, T, T, T, T, F.
I disagree with one of those answers.
 
  • Like
Likes   Reactions: member 587159
dirtypurp said:
Yes I tried learning it again last night and I have gotten F, T, T, T, T, F.
It's interesting that d and e force you to interpret the left side ##\emptyset## as a set and an element, respectively, to fit the context.
 
  • Informative
  • Like
Likes   Reactions: dirtypurp and member 587159
FactChecker said:
It's interesting that d and e force you to interpret the left side ##\emptyset## as a set and an element, respectively, to fit the context.

Ah I didn't even make the connection that ##\varphi## was supposed to be empty set. Changes the solution of course.
 
  • Like
Likes   Reactions: FactChecker
Math_QED said:
Ah I didn't even make the connection that ##\varphi## was supposed to be empty set. Changes the solution of course.
That actually might be rust on my part. I guess it is not the symbol for empty set. Maybe it is not supposed to be the empty set.
 
Last edited:
  • #10
PeroK said:
I disagree with one of those answers.

Can you clarify which one?
 
  • #11
dirtypurp said:
Can you clarify which one?
Hmm, since they are true or false that's giving you the answer! Which one looks dodgy?
 
  • #12
Math_QED said:
Ah I didn't even make the connection that ##\varphi## was supposed to be empty set. Changes the solution of course.

So a empty set is a subset of any set making d true. For e since its asking if the empty set element can be found in {φ, {φ}} as the set does indeed contain a empty set. making it true as well.
 
  • #13
Ahh, so ##\varphi## is supposed to be the empty set! That changes things. Never seen it written like that. It should be ##\emptyset##.
 
  • #14
PeroK said:
Ahh, so ##\varphi## is supposed to be the empty set! That changes things. Never seen it written like that. It should be ##\emptyset##.
With that being said - did i seem to get them all right from the previous response?
 
  • #15
dirtypurp said:
With that being said - did i seem to get them all right from the previous response?
Yes, it was the confusion over using ##\varphi## for the empty set.
 
  • Like
Likes   Reactions: dirtypurp
  • #16
The thread title uses yet a different term: null.
 
  • Like
Likes   Reactions: member 587159
  • #17
I believe all these text questions can be answered clearly without making any assumption about which set the symbol φ represents.

And just in case the profusion of suggestions has confused the original poster, it's safe to say that exactly half of the six statements are true and the other half are false.
 
  • #18
zinq said:
I believe all these text questions can be answered clearly without making any assumption about which set the symbol φ represents.
In some, one must assume that it is a set and can be considered a subset. With that given, I think that I agree.
 
  • Like
Likes   Reactions: zinq
  • #19
Yes, that's why I phrased it like that.
 
  • Like
Likes   Reactions: FactChecker

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 30 ·
2
Replies
30
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 6 ·
Replies
6
Views
5K