SHARE
TWEET

Untitled

a guest May 12th, 2014 161 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. \begin{center}
  2. \begin{math}
  3. \mathlig{-><-}{\rightarrow\leftarrow}
  4. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}+a_{2} -> v}\; Where\; v = v_{1} + v_{2}
  5. \end{math}
  6. \end{center}
  7. \begin{figure}[H]
  8. \caption{Transition rule for Addition}
  9. \end{figure}
  10.  
  11. \begin{center}
  12. \begin{math}
  13. \mathlig{-><-}{\rightarrow\leftarrow}
  14. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1} - a_{2} -> v}\; Where\; v = v_{1} - v_{2}
  15. \end{math}
  16. \end{center}
  17. \begin{figure}[H]
  18. \caption{Transition rule for Subtraction}
  19. \end{figure}
  20.  
  21. \begin{center}
  22. \begin{math}
  23. \mathlig{-><-}{\rightarrow\leftarrow}
  24. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}*a_{2} -> v}\; Where\; v = v_{1} * v_{2}
  25. \end{math}
  26. \end{center}
  27. \begin{figure}[H]
  28. \caption{Transition rule for Multiplication}
  29. \end{figure}
  30.  
  31. \begin{center}
  32. \begin{math}
  33. \mathlig{-><-}{\rightarrow\leftarrow}
  34. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}/a_{2} -> v}\; Where\; v = v_{1} / v_{2}
  35. \end{math}
  36. \end{center}
  37. \begin{figure}[H]
  38. \caption{Transition rule for Division}
  39. \end{figure}
  40.  
  41. \begin{center}
  42. \begin{math}
  43. \mathlig{-><-}{\rightarrow\leftarrow}
  44. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}\%a_{2} -> v}\; Where\; v = v_{1} \% v_{2}
  45. \end{math}
  46. \end{center}
  47. \begin{figure}[H]
  48. \caption{Transition rule for Plus}
  49. \end{figure}
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top