Certificate Programs
Courses
Proofs
Building Blocks
Types
Functions
Properties
Conditional Properties
Why Logicwalk?
Log In
Get Started
Truth Propagation Property
if the following are true:
a
a
=
b
then
b
Comments
Please
log in
to add comments