Explanation Given information: A function f : X → Y is one-to-one I, for all a and b in X, f ( a ) = f ( b ) implies that a = b. A function f : X → Y is onto if, for all y ∈ Y , there exists an x ∈ X such that f ( x ) = y . In this case we say that f maps X onto Y. Calculation: A function f : X → Y is one-to-one if, for all a and b in X, f ( a ) = f ( b ) implies that a = b. In this case we say that f is a one-to-one mapping from X to Y. Therefore, the formic logic for one to one is: ( ∀ a , b ∈ X ) ( f ( a ) ≠ f ( b ) ⇒ a ≠ b )

3rd Edition

ISBN: 9781284056242

Author: David J. Hunter

Publisher: Jones & Bartlett Learning

See similar textbooks

Concept explainers

Statements and Logic

Logic is the analysis of general patterns of thoughts without regard to any specific sense of context.

Videos

Question

Chapter 2.3, Problem 2E

To determine

Write the definitions of one-to-one and onto in terms of predicate logic.

Expert Solution & Answer

Want to see the full answer?

Check out a sample textbook solution

See solution

Chapter 2.3, Problem 1E

Chapter 2.3, Problem 3E

Chapter 2 Solutions

Essentials of Discrete Mathematics

Ch. 2.1 - Prob. 1E Ch. 2.1 - Prob. 2E Ch. 2.1 - Prob. 3E Ch. 2.1 - Prob. 4E Ch. 2.1 - Prob. 5E Ch. 2.1 - Prob. 6E Ch. 2.1 - Prob. 7E Ch. 2.1 - Prob. 8E Ch. 2.1 - Prob. 9E Ch. 2.1 - Prob. 10E

Ch. 2.1 - Prob. 11E Ch. 2.1 - Prob. 12E Ch. 2.1 - Prob. 13E Ch. 2.1 - Prob. 14E Ch. 2.1 - Prob. 15E Ch. 2.1 - Prob. 16E Ch. 2.1 - Prob. 17E Ch. 2.1 - Prob. 18E Ch. 2.1 - Prob. 19E Ch. 2.1 - Prob. 20E Ch. 2.1 - Prob. 21E Ch. 2.1 - Prob. 22E Ch. 2.1 - Prob. 23E Ch. 2.1 - Prob. 24E Ch. 2.1 - Prob. 25E Ch. 2.1 - Prob. 26E Ch. 2.1 - Prob. 27E Ch. 2.1 - Prob. 28E Ch. 2.1 - Prob. 29E Ch. 2.2 - Prob. 1E Ch. 2.2 - Prob. 2E Ch. 2.2 - Prob. 3E Ch. 2.2 - Prob. 4E Ch. 2.2 - Prob. 5E Ch. 2.2 - Prob. 6E Ch. 2.2 - Prob. 7E Ch. 2.2 - Prob. 8E Ch. 2.2 - Prob. 9E Ch. 2.2 - Prob. 10E Ch. 2.2 - Prob. 11E Ch. 2.2 - Prob. 12E Ch. 2.2 - Prob. 13E Ch. 2.2 - Prob. 14E Ch. 2.2 - Prob. 15E Ch. 2.2 - Prob. 16E Ch. 2.2 - Prob. 17E Ch. 2.2 - Prob. 18E Ch. 2.2 - Prob. 19E Ch. 2.2 - Prob. 20E Ch. 2.2 - Prob. 21E Ch. 2.2 - Prob. 22E Ch. 2.2 - Prob. 23E Ch. 2.2 - Prob. 24E Ch. 2.2 - Prob. 25E Ch. 2.2 - Prob. 26E Ch. 2.2 - Prob. 27E Ch. 2.2 - Prob. 28E Ch. 2.2 - Prob. 29E Ch. 2.2 - Prob. 30E Ch. 2.2 - Prob. 31E Ch. 2.2 - Prob. 32E Ch. 2.3 - Prob. 1E Ch. 2.3 - Prob. 2E Ch. 2.3 - Prob. 3E Ch. 2.3 - Prob. 4E Ch. 2.3 - Prob. 5E Ch. 2.3 - Prob. 6E Ch. 2.3 - Prob. 7E Ch. 2.3 - Prob. 8E Ch. 2.3 - Prob. 9E Ch. 2.3 - Prob. 10E Ch. 2.3 - Prob. 11E Ch. 2.3 - Prob. 12E Ch. 2.3 - Prob. 13E Ch. 2.3 - Prob. 14E Ch. 2.3 - Prob. 15E Ch. 2.3 - Prob. 16E Ch. 2.3 - Prob. 17E Ch. 2.3 - Prob. 18E Ch. 2.3 - Prob. 19E Ch. 2.3 - Prob. 20E Ch. 2.3 - Prob. 21E Ch. 2.3 - Prob. 22E Ch. 2.3 - Prob. 23E Ch. 2.3 - Prob. 24E Ch. 2.3 - Prob. 25E Ch. 2.3 - Prob. 26E Ch. 2.3 - Prob. 27E Ch. 2.3 - Prob. 28E Ch. 2.3 - Prob. 29E Ch. 2.3 - Prob. 30E Ch. 2.3 - Prob. 31E Ch. 2.3 - Prob. 32E Ch. 2.3 - Prob. 33E Ch. 2.3 - Prob. 34E Ch. 2.3 - Prob. 35E Ch. 2.3 - Prob. 36E Ch. 2.4 - Prob. 1E Ch. 2.4 - Prob. 2E Ch. 2.4 - Prob. 3E Ch. 2.4 - Prob. 4E Ch. 2.4 - Prob. 5E Ch. 2.4 - Prob. 6E Ch. 2.4 - Prob. 7E Ch. 2.4 - Prob. 8E Ch. 2.4 - Prob. 9E Ch. 2.4 - Prob. 10E Ch. 2.4 - Prob. 11E Ch. 2.4 - Prob. 12E Ch. 2.4 - Prob. 13E Ch. 2.4 - Prob. 14E Ch. 2.4 - Prob. 15E Ch. 2.4 - Prob. 16E Ch. 2.4 - Prob. 17E Ch. 2.4 - Prob. 18E Ch. 2.4 - Prob. 19E Ch. 2.4 - Prob. 20E Ch. 2.4 - Prob. 21E Ch. 2.4 - Prob. 22E Ch. 2.4 - Prob. 23E Ch. 2.4 - Prob. 24E Ch. 2.4 - Prob. 25E Ch. 2.4 - Prob. 26E Ch. 2.4 - Prob. 27E Ch. 2.4 - Prob. 28E Ch. 2.4 - Prob. 29E Ch. 2.4 - Prob. 30E Ch. 2.4 - Prob. 31E Ch. 2.4 - Prob. 32E Ch. 2.4 - Prob. 33E Ch. 2.4 - Prob. 34E Ch. 2.4 - Prob. 35E Ch. 2.4 - Prob. 36E Ch. 2.4 - Prob. 37E Ch. 2.4 - Prob. 38E Ch. 2.4 - Prob. 39E Ch. 2.4 - Prob. 40E Ch. 2.5 - Prob. 1E Ch. 2.5 - Prob. 2E Ch. 2.5 - Prob. 3E Ch. 2.5 - Prob. 4E Ch. 2.5 - Prob. 5E Ch. 2.5 - Prob. 6E Ch. 2.5 - Prob. 7E Ch. 2.5 - Prob. 8E Ch. 2.5 - Prob. 9E Ch. 2.5 - Prob. 10E Ch. 2.5 - Prob. 11E Ch. 2.5 - Prob. 12E Ch. 2.5 - Prob. 13E Ch. 2.5 - Prob. 14E Ch. 2.5 - Prob. 15E Ch. 2.5 - Prob. 16E Ch. 2.5 - Prob. 17E Ch. 2.5 - Prob. 18E Ch. 2.5 - Prob. 19E Ch. 2.5 - Prob. 20E Ch. 2.5 - Prob. 21E Ch. 2.5 - Prob. 22E Ch. 2.5 - Prob. 23E Ch. 2.5 - Prob. 24E Ch. 2.5 - Prob. 25E Ch. 2.5 - Prob. 26E Ch. 2.5 - Prob. 27E Ch. 2.5 - Prob. 28E Ch. 2.5 - Prob. 29E Ch. 2.5 - Prob. 30E Ch. 2.5 - Prob. 31E Ch. 2.6 - Prob. 1E Ch. 2.6 - Prob. 2E Ch. 2.6 - Prob. 3E Ch. 2.6 - Prob. 4E Ch. 2.6 - Prob. 5E Ch. 2.6 - Prob. 6E Ch. 2.6 - Prob. 7E Ch. 2.6 - Prob. 8E Ch. 2.6 - Prob. 9E Ch. 2.6 - Prob. 10E Ch. 2.6 - Prob. 11E Ch. 2.6 - Prob. 12E Ch. 2.6 - Prob. 13E Ch. 2.6 - Prob. 14E Ch. 2.6 - Prob. 15E Ch. 2.6 - Prob. 16E Ch. 2.6 - Prob. 17E Ch. 2.6 - Prob. 18E Ch. 2.6 - Prob. 19E Ch. 2.6 - Prob. 20E Ch. 2.6 - Prob. 21E Ch. 2.6 - Prob. 22E Ch. 2.6 - Prob. 23E Ch. 2.6 - Prob. 24E Ch. 2.6 - Prob. 25E Ch. 2.6 - Prob. 26E Ch. 2.6 - Prob. 27E Ch. 2.6 - Prob. 28E Ch. 2.6 - Prob. 29E Ch. 2.6 - Prob. 30E

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, subject and related others by exploring similar questions and additional content below.

Recommended textbooks for you

Algebra: Structure And Method, Book 1
Algebra
ISBN:9780395977224
Author:Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:McDougal Littell

Algebra: Structure And Method, Book 1

Algebra

ISBN:9780395977224

Author:Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole

Publisher:McDougal Littell

SEE MORE TEXTBOOKS

Propositional Logic, Propositional Variables & Compound Propositions; Author: Neso Academy;https://www.youtube.com/watch?v=Ib5njCwNMdk;License: Standard YouTube License, CC-BY

Propositional Logic - Discrete math; Author: Charles Edeki - Math Computer Science Programming;https://www.youtube.com/watch?v=rL_8y2v1Guw;License: Standard YouTube License, CC-BY

DM-12-Propositional Logic-Basics; Author: GATEBOOK VIDEO LECTURES;https://www.youtube.com/watch?v=pzUBrJLIESU;License: Standard Youtube License

Lecture 1 - Propositional Logic; Author: nptelhrd;https://www.youtube.com/watch?v=xlUFkMKSB3Y;License: Standard YouTube License, CC-BY

MFCS unit-1 || Part:1 || JNTU || Well formed formula || propositional calculus || truth tables; Author: Learn with Smily;https://www.youtube.com/watch?v=XV15Q4mCcHc;License: Standard YouTube License, CC-BY