Does not return deduction steps for a valid argument.

kror-shack / my-logic-hub

Simplify logic with myLogicHub

https://mylogichub.com

GNU General Public License v3.0

8 stars 0 forks source link

Does not return deduction steps for a valid argument. #2

Closed kror-shack closed 11 months ago

kror-shack commented 11 months ago

Type: Bug

Description:

The propositional logic calculator does not return deduction steps for an argument that contains bracketed negation where disjunctive syllogism/Modus Tollendo Ponens is applicable. For example, if ( ~ ( P -> Q )) is in the part of a premise on which D.S should be applicable i.e., the negation of the previous wff is present in the knowledge base, the calculator does not return the deduction steps.

kror-shack commented 11 months ago

Fix implemented in commit ( #9543bdf )