Hey guys,
I was reading Kenneth's Discrete Mathematics and I came across this definition in the function chapter:
Let f be a function from A to B and let S be a subset of A.The image of S under the function f is the subset of B that consists of the images of the elements of S.We denote...
Hey I was reading Susanna Discrete book and I came across her definition of One-to-One function:
Let F be a function from a set X to a set Y. F is one-to-one (or injective) if, and only if, for all elements x1 and x2 in X,
if F(x1 ) = F(x2 ),then x1 = x2 ,
or, equivalently, if x1 ≠...
Okay. I guess what you are trying to say is that:
-Logic is the process of how to deducing a new correct statement from a given correct statement. Also what do you mean by 'correct' are you talking about the truth?
But I am still not understanding the given definition of mathematical logic...
Hey Guys,
I am currently a first year computer science student and I am taking discrete mathematics. After having done the logic portion of discrete, I wanted to learn more about logic so I went online and found Peter Smith's guide on learning logic. I followed his advice under "baby-logic" and...