Bifalgorithm post · Brisk · Chapter 1

How can an infinite relation be specified extensionally?

How can an infinite relation be specified extensionally? (Brisk · Chapter 1) — "As an example of the second, consider the relation “isLuckierThan” between N an…

Ideas in this flowchart

La relación «isLuckierThan» sobre los números naturales
La relación se establece entre N y N
N representa el conjunto de los números naturales
La relación se especifica extensionalmente mediante pares ordenados
La extensión incluye pares como (1, 13), (2, 13), (3, 13) y continúa hasta (12, 13)
También incluye pares como (14, 13), (15, 13), (16, 13) y continúa indefinidamente
El número 13 es la excepción y no se incluye el par (13, 13)
La interpretación es que todo número es más afortunado que 13, excepto el propio 13

Bifalgorithm

Feed/

How can an infinite relation be specified extensionally?

Channel

Brisk

1 page

USR292600b83e2a

Ebook3w

"As an example of the second, consider the relation “isLuckierThan” between N and N. (The “N” means “the natural numbers.”) We specify it extensionally as follows: { (1, 13), (2, 13), (3, 13), …(12, 13), (14, 13), (15, 13), (16, 13), … } Here we’re just saying “every number is luckier than 13 (except for 13 itself, of course).”"

Flowchart preview

👍

0 comments0 shares