12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:18, 27 April 2013
, 19:18, 27 April 2013→Fundamental evaluation rule
|}
|}
These operators may be interpreted for logic as assertions about the values of their listed arguments, resulting in the following dual interpretations.
These operators may be interpreted for logic as assertions about the values of their listed arguments, resulting in the following pair of dual interpretations.
{| align="center" cellpadding="10" style="text-align:center; width:90%"
{| align="center" cellpadding="10" style="text-align:center; width:90%"