Changes

MyWikiBiz, Author Your Legacy — Friday December 27, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 18:12, 27 April 2013

35 bytes added ,  18:12, 27 April 2013
→‎Fundamental evaluation rule: clarify
Line 508: Line 508:  
|}
 
|}
   −
The interpretation of these operators, read as assertions about the values of their listed arguments, is as follows:
+
These operators may be interpreted for logic as assertions about the values of their listed arguments, resulting in the following dual interpretations.
    
{| align="center" cellpadding="10" style="text-align:center; width:90%"
 
{| align="center" cellpadding="10" style="text-align:center; width:90%"
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/177583"

Navigation menu