User Reports
09/27
Thank you for your reports and feature requests. They help make the app better for everyone. :)
Sep 26, 2024
Argument Error
Developer's Reply: Thank you for reporting :)
Sep 4, 2024
"All M are S" is major premise.
Developer's Reply: The confusion may arise from the fact that, in a standard-form syllogism, the first premise is the major premise. However, in the entered argument, the second premise is the major premise as it contains the major term "P" (the predicate of the conclusion). The program converts the argument into standard-form and displays the details accordingly. As a fix to this misunderstanding, the app now displays a note to show this if the premises are not in order. Thank you for reporting :)
Aug 25, 2024
Argument Error
Developer's Reply: The current method of natural deduction applied here does not support deriving A from A→A. This would require an assumption, which is not supported in the method of natural deduction employed here, taken from the book: Introduction to Logic by Irving Copi, Carl Cohen, and Victor Rodych. However, another system with assumptions, conditional, and indirect annotated derivations is in development.
Aug 24, 2024
Argument Error
Developer's Reply: Thank you for pointing out the error. This argument was reported twice, and I assume the problem with the argument lies in the redundant steps after step 6, since L and ∼L already constitute the contradiction. In future updates, this redundancy will be significantly reduced. For the time being, things are incrementally being optimized.
Aug 24, 2024
Argument Error
Aug 19, 2024
Argument Error
Aug 17, 2024
it wont show the full image
Developer's Reply: Thank you for reporting :))
Aug 14, 2024
The venn diagram is empty.
Developer's Reply: This was due to syllogistic arguments containing fallacies. The venn diagram has been updated and now it also lets you know if there is a fallacy within the provided argument.
Jul 29, 2024
(P→Q)∧(P→¬Q)∧P should be a contradiction, but the 1st implication in the 2nd line is incorrect, T→F is not T. I wonder why this happened.
Link: https://www.mylogichub.com/truth-table-generator?argument=%22(P-%3EQ)%E2%88%A7(P-%3E~Q)%E2%88%A7P%22
Developer's Reply: I am not so sure why/how that happened. But from the attached link, it does show the argument as a contradiction.
Jun 6, 2024
Premises: La not(Lb) therefotr exists X exists y (Lx & not(Ly)) it says argument is not valid
Developer's Reply: I don't fully understand. La ~Lb, must have an operator between them. Perhaps you forgot to include it in the error report. Feel free to make another :)
May 25, 2024
Logic proofs with axiom kf replacement
May 15, 2024
Conjunctive normal form generator/solver
May 15, 2024
Application error: a client-side exception has occurred (see the browser console for more information).
May 13, 2024
Changing English into quantification logic
Developer's Reply: Although, it is a bit tricky but doable. I might include it in later versions of the app :)
May 12, 2024
It keeps crashing for me :((
May 9, 2024
¬P, P ↔ Q ⊢ ¬Q
Apr 26, 2024
The page became unresponsive
Link: https://www.mylogichub.com/quantificational-logic-calculator
Developer's Reply: I’ve identified a performance issue with one of the algorithms. Since, the entire app runs in the browser, certain external factors can affect the algorithm run-time. To help, I’ve shifted the heavy processing to the background and added a time limit to prevent slowdowns.
Apr 25, 2024
Make it so I can test for equivalence between propositions like, ALL S are P | No non-P are S it would be awesome if I could enter this in and have it create a diagram and tell me if they're equivalent. great website saved me on the final day of a class. Love the font as well feels awesome to type haha. have a great day!!!
Developer's Reply: Good idea! Will include it in later versions of the app.
Apr 14, 2024
Natural Deduction Calculator
Developer's Reply: The current calculators are using natural deduction. Do you mean a specific type of natural deduction ?
Apr 14, 2024
I want a feature that's going to break down the problem the right way and no add more problems to the proof that is not there
Developer's Reply: I am currently working on removing the redundant steps from the proof. It is a bit tricky to adjust the algorithm to only simplify related steps, but removing them at the end may be feasible. Thank you for your patience.
Apr 7, 2024
Could you make natural deduction work for invalid arguments? Essentially, natural deduction to obtain the desired conclusion, regardless of the argument's validity. Thank you!
Developer's Reply: Thank you for the request. If you could elaborate further on what does it mean to have natural deduction work for invalid arguments? If the argument is invalid, how can natural deduction be used to obtain the conclusion from the premises. Perhaps I am misunderstanding something.
Jan 25, 2024
Hey, very nice app btw. I'm having an issue when trying de QL calculator. It keeps telling me that the predicate Iis in a wrong place but, i mean, its the only place that it is able to go! Thanks. I don't know If i am doing something wrong
Developer's Reply: The current format is as such: ∃x ( Px ). The quantifier must be outside the parentheses of the wff it quantifies. Hope this fixes it :)
It may take up to a day for your error report to show up here. You may report your issues at the Report issue page and your feature requests at the Feature request page.