The Equivalence
![]()

![]()
This logical rule is basically the same as a rule of binary
logic.
That is, the same proposition with the same truth value is an equal value.
A different proposition with a different truth value cannot be an equal value.
This is a definition of the truth value. It is natural rule.
Mainmenu fourvalue lawof logic truthtable Q&A homepage
Copyright©nsmy@elix.com.1996.12.All
right reserved.