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.

Esempio svolto · truth table of p implies q

Discrete-Math · Propositional-Logic

Truth table of p implies q

Passo dopo passo

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

Rivela la risposta

p \Rightarrow q

Ora tu Scegli un problema, o digitare o disegnare il proprio. Ogni passo, un'immagine, la risposta nascosta fino a quando non si chiede.

Conserva il tuo lavoro

Un account gratuito aggiunge note su ogni lezione, un record di ciò che hai finito, i tuoi problemi risolti in un unico luogo, e un tutor che puoi chiedere su questa pagina. La matematica stessa è aperta a tutti, firmato o no.

Iscriviti Accesso

Simboli utilizzati qui

Toccare qualsiasi simbolo per la definizione completa, un'immagine, e che cosa ogni lettera in esso significa.

Come: Relations, functions and equivalence

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

Domande che la gente chiede

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.

Altro in Set Theory & Logic

Sets and operations Cardinality and infinity Logic and methods of proof