Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
Function
Log
None
Format:
log
b
x
Input:
number
x
-
number
b
-
Output:
number
- None
Conditional properties that reference this function:
if
x
p
=
z
, then log
x
z
=
p
(link)
if log
x
z
=
p
, then
x
p
=
z
(link)
Comments
Please
log in
to add comments