maths.free › Set Theory & Logic › Relations, functions and equivalence

Relations, functions and equivalence

Relations as sets of pairs; reflexive, symmetric, transitive; functions and bijections.

A relation is a set of ordered pairs; an equivalence relation (reflexive, symmetric, transitive) partitions its set into classes; a function is a relation with exactly one output per input. Picture it: "same remainder mod 3" splits the integers into three columns. Think it: a bijection is how we say two sets have the same size, including infinite ones.

Exemple résolu · truth table of p implies q

Discrete-Math · Propositional-Logic

Truth table of p implies q

Étape par étape

  1. p \Rightarrow q

    2 variable(s) → 4 rows. Fill in every combination.

  2. \

    Contingent: true for some inputs, false for others.

Révèle la réponse
p \Rightarrow q

À vous Choisissez un problème, ou tapez ou dessinez le vôtre. Chaque étape, une image, la réponse cachée jusqu'à ce que vous le demandiez.

Conservez votre propre travail

Un compte gratuit ajoute des notes sur chaque leçon, un enregistrement de ce que vous avez terminé, vos problèmes résolus en un seul endroit, et un tuteur que vous pouvez demander sur cette page. Les maths eux-mêmes sont ouverts à tout le monde, signé ou non.

Inscription Connexion

Symboles utilisés ici

Appuyez sur n'importe quel symbole pour la définition complète, une image et ce que signifie chaque lettre.

Comment faire: Relations, functions and equivalence

  1. 2 variable(s) → 4 rows. Fill in every combination.
  2. Contingent: true for some inputs, false for others.

Questions posées par les gens

Are some infinities bigger than others?

Yes. The integers and the rationals can be listed; the real numbers cannot (Cantor's diagonal argument), so there are strictly more reals than integers.

What is the difference between a relation and a function?

A relation pairs inputs with outputs freely; a function is a relation in which every input gets exactly one output.

Plus en Set Theory & Logic

Sets and operationsCardinality and infinityLogic and methods of proof