Changes

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%"
12,080

edits