fix: ?property formula (part 2), complete deduction

pi-base · Dec 10, 2024 · ab7c5f0 · ab7c5f0
1 parent 3cbe691
commit ab7c5f0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/core/src/Logic/Prover.ts b/packages/core/src/Logic/Prover.ts
@@ -116,7 +116,7 @@ export default class Prover<
 
     if (this.traits.has(property)) {
       if (this.traits.get(property) !== formula.value) {
-        return this.contradiction(theorem, [property])
+        return this.contradiction(theorem, [...support, property])
       } else {
         return
       }
@@ -182,7 +182,7 @@ export default class Prover<
     )
 
     if (result.falses.length === formula.subs.length) {
-      return this.contradiction(theorem, falseProps)
+      return this.contradiction(theorem, [...support, ...falseProps])
     } else if (result.unknown) {
       return this.force(theorem, result.unknown, [...support, ...falseProps])
     }