注释错误

opennars · Feb 24, 2022 · 443b6a5 · 443b6a5
1 parent 7d830d0
commit 443b6a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pynars/NAL/Theorems/StructuralRules.py b/pynars/NAL/Theorems/StructuralRules.py
@@ -15,7 +15,7 @@ def uni_composition(task: Task, term_concept: Term, budget_tasklink: Budget=None
     <P --> S>.          (inverse_copula: <S --> P>.)
     (|, P, Q)           (inverse_copula: (&, P, Q))
     |- 
-    <(&, P, Q) --> S>.  (inverse_copula: <S --> (|, P, Q)>.)
+    <(|, P, Q) --> S>.  (inverse_copula: <S --> (&, P, Q)>.)
     '''
     stamp_task: Stamp = task.stamp
     premise: Judgement = task.sentence