Truth Propagation Property

if the following are true:
  • a
  • a = b

then b


Comments

Please log in to add comments