Discrete Math Help for Sarah | Physics Forum

  • Context: Undergrad 
  • Thread starter Thread starter sarah22
  • Start date Start date
  • Tags Tags
    Discrete Discrete math
Click For Summary
SUMMARY

Sarah, a newcomer to the Physics Forum, seeks assistance in proving statements in discrete mathematics, specifically regarding quantifiers and logical expressions. She successfully demonstrates a simple case where the statement "For all X, there's a Y (x+y=x)" holds true by setting Y to 0. However, she struggles with more complex expressions like "not(Vx) not(Ey)" and their implications within the realm of real numbers. A forum member advises her to learn the rules of logic, noting the equivalences between negated quantifiers.

PREREQUISITES
  • Understanding of basic mathematical concepts such as algebra and calculus
  • Familiarity with logical operators and quantifiers in discrete mathematics
  • Knowledge of real number properties and their implications in mathematical proofs
  • Ability to interpret and manipulate logical expressions
NEXT STEPS
  • Study the rules of logic, focusing on quantifiers and their negations
  • Explore the concept of logical equivalence in discrete mathematics
  • Practice proving statements involving quantifiers with real numbers
  • Learn about common logical fallacies and how to avoid them in proofs
USEFUL FOR

Students of discrete mathematics, educators teaching logic and proofs, and anyone looking to strengthen their understanding of mathematical reasoning and quantifiers.

sarah22
Messages
26
Reaction score
0
Dear "Physics Forum",

Hello! I'm Sarah. Yeah, I'm new here and starting to love this forum. I'm having a hard time proving if a statement is true or false in discrete math. For example, For all X, there's a Y (x+y=x). This question is easy and the answer is true by letting y as 0 and x for anything. But I really get confuse when the question is so complicated like making not(Vx) not(Ey) ... and making it for only real numbers... I'm good in other math like Algebra, Trigonometry and Calculus but this one really burns my mind. Can anyone here give me some tips.

BTW, is this the right forum?

Thanks,
Sarah
 
Physics news on Phys.org
I'm not sure what it is your asking...just learn the rules of logic I guess...

Not (Vx) is equivalent to (Ex)

and Not (Ey) is equivalent to (Vy)
 

Similar threads

Undergrad Help understanding Big O notation
  • · Replies 23 ·
Replies
23
Views
7K
Undergrad Discrete Math Question on Universal and Existential Quantifiers
  • · Replies 10 ·
Replies
10
Views
7K
Courses Need help in choosing math classes for a HS student
  • · Replies 32 ·
2
Replies
32
Views
4K
Studying Looking for a thread discussing ideal math classes for physics major
  • · Replies 1 ·
Replies
1
Views
2K
[Discrete] Prove that |nZ| = |Z| for any postive integer n
  • · Replies 1 ·
Replies
1
Views
2K
Intro Math Plan to revise my learned math & start learning pure math
  • · Replies 5 ·
Replies
5
Views
5K
MHB Proving the Inclusion Property for Sets in Axiomatic Set Theory
  • · Replies 8 ·
Replies
8
Views
2K
Other Math Help for Physics Undergrad: Advice Needed
  • · Replies 9 ·
Replies
9
Views
2K
Graduate Solve Line Integral Question | Get Math Help from Physics Forums
  • · Replies 5 ·
Replies
5
Views
2K
Undergrad Is the phrase "discrete spectrum" in rule #5 a contradiction in terms?
  • · Replies 5 ·
Replies
5
Views
1K