Truth Propagation Property

if the following are true:

  • a
  • a = b

then b


Comments

Please log in to add comments