
#1
Jun2707, 12:09 AM

P: 4

Hi I am reading the book "Introduction to logic and the methodology of deductive sciences" and I'm doing my best on understandig it and so far so good, but I ran to the example of the book: " for any number x, if x=0 or y not equal to 0, then there exists a number z such that x=y.z" I just want somebody to explain the sentential function and what does it mean and please give an example.
thank you very much. 



#2
Jun2707, 12:43 AM

P: 461

It means division makes sense.




#3
Jun2707, 05:06 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,879





#4
Jun2707, 08:16 AM

P: 291

Question on a book i am reading.
"Division makes sense" (to quote the other users).
In a commutative unitary ring R for all nonzero elements that have multiplication inverses. So if a is such an interger then b/a = b*c where c is the multiplicative inverse of b. 



#5
Jun2707, 05:31 PM

HW Helper
P: 2,692

What topic is this, and which named course would contain a study of this topic?




#6
Jun2707, 06:24 PM

P: 1,345

Sounds like number theory...




#7
Jun2707, 09:35 PM

P: 291





#8
Jun2807, 03:52 AM

P: 90

In this particular example, the author is trying to make points about the scope of the quantifiers (really nothing more). Clearly, it's an open formula. So as it stands, it asserts nothing definite. It's neither true nor false. Meaning is really not relevant. 


Register to reply 
Related Discussions  
Book Review... (for recreational reading)  General Discussion  162  
NASA develops 'mindreading' [nerve signal reading] system  Computing & Technology  12  
Book Question  Science & Math Textbook Listings  4  
Yet another c++ question  reading multiple files  Computing & Technology  5 