Changes

Line 1,405: Line 1,405:     
: This way of proceeding went from <math>e_5 = {}^{\backprime\backprime} \texttt{((~(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))~,~(} p \texttt{~(} q~r \texttt{))~))} {}^{\prime\prime}</math> to the blank expression that <math>\operatorname{Ex}</math> recognizes as the value <math>\operatorname{true}.</math>
 
: This way of proceeding went from <math>e_5 = {}^{\backprime\backprime} \texttt{((~(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))~,~(} p \texttt{~(} q~r \texttt{))~))} {}^{\prime\prime}</math> to the blank expression that <math>\operatorname{Ex}</math> recognizes as the value <math>\operatorname{true}.</math>
  −
Review:
  −
  −
* Pf 1.  PERS 14.  http://forum.wolframscience.com/showthread.php?postid=973#post973
  −
* Pf 2a. PERS 15.  http://forum.wolframscience.com/showthread.php?postid=976#post976
  −
* Pf 2b. PERS 16.  http://forum.wolframscience.com/showthread.php?postid=977#post977
  −
* Pf 3.  PERS 18.  http://forum.wolframscience.com/showthread.php?postid=988#post988
      
==Computation and inference as semiosis==
 
==Computation and inference as semiosis==
12,080

edits