Changes

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

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%"

Jon Awbrey

12,080

edits