refactor: rename addiction -> addition

Fix #9

Author: ryukinix

src/inferences.lisp

@@ -42,8 +42,8 @@
                       (operands (first-operand exp))))
       exp))
 
-(defun addiction (exp p)
-  "Addiction in inference rule ::
+(defun addition (exp p)
+  "Addition in inference rule ::
    p => (v p q)"
   (make-disjunction exp p))
 

src/package.lisp

@@ -10,7 +10,7 @@
            #:modus-ponens    ;; inferences
            #:modus-tollens
            #:syllogism-disjunctive
-           #:addiction
+           #:addition
            #:conjunction
            #:simplification-first
            #:simplification-second

t/test-inference-rules.lisp

@@ -19,9 +19,9 @@
                '(=> X Z))
         "Inference: SYLLOGISM-HYPOTHETICAL")
 
-    (ok (equal (addiction 'p 'q)
+    (ok (equal (addition 'p 'q)
                '(v p q))
-        "Inference: ADDICTION")
+        "Inference: ADDITION")
 
     (ok (equal (conjunction '(=> p q) 'p)
                '(^ (=> P Q) P))