Fungrim home page

Fungrim entry: 0b643d

Symbol: PrimeNumber pnp_{n} nth prime number
Domain Codomain
nZ1n \in \mathbb{Z}_{\ge 1} pnPp_{n} \in \mathbb{P}
Table data: (P,Q)\left(P, Q\right) such that (P)    (Q)\left(P\right) \implies \left(Q\right)
Definitions:
Fungrim symbol Notation Short description
PrimeNumberpnp_{n} nth prime number
ZZGreaterEqualZn\mathbb{Z}_{\ge n} Integers greater than or equal to n
PPP\mathbb{P} Prime numbers
Source code for this entry:
Entry(ID("0b643d"),
    SymbolDefinition(PrimeNumber, PrimeNumber(n), "nth prime number"),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(n, ZZGreaterEqual(1)), Element(PrimeNumber(n), PP)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-10-05 13:11:19.856591 UTC