12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday November 25, 2024
Jump to navigationJump to searchDirectory: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%"
