All Questions
2
questions
0
votes
2
answers
379
views
Proving some properties of real numbers using predicate logic
I am trying to understand how some basic properties of the real numbers can be proved from axioms expressed in predicate logic.
I start by accepting the field axioms of real numbers, in addition to ...
1
vote
1
answer
125
views
Possible book correction or am I missing something?
Hi I am teaching myself analysis and bought "Analysis - With an introduction to Proof" by Steven R. Lay. Now one of the practice problems is "Determine the truth value of each statement, assuming x, y ...