Error Reports | My Logic Hub

For the argument " Some corporations that overcharge their customers are investor-owned utilities, because some unethical businesses are not non-investor-owned utilities. All ethical businesses are non-overcharging corporations," where is the X (or Xs)? Group of answer choices 1 2 3 4 5 6 7 on the line there are no Xs

Link: https://www.mylogichub.com/venn-diagram-generator?argument=%5B%22All%20men%20are%20mortal.%22,%22Socrates%20is%20a%20man.%22,%22Therefore,%20Socrates%20is%20mortal.%22%5D

Oct 27, 2024

Pending

For the argument " Some corporations that overcharge their customers are investor-owned utilities, because some unethical businesses are not non-investor-owned utilities. All ethical businesses are non-overcharging corporations," where is the X (or Xs)?Group of answer choices1234567on the linethere are no Xs

Link: https://www.mylogichub.com/venn-diagram-generator?argument=%5B%22All%20men%20are%20mortal.%22,%22Socrates%20is%20a%20man.%22,%22Therefore,%20Socrates%20is%20mortal.%22%5D

Oct 27, 2024

Pending

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22(A-%3EB)-%3EB%22,%22A%7CB%22%5D

Oct 27, 2024

Pending

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22(A-%3EB)-%3EB%22,%22A%7CB%22%5D

Oct 26, 2024

Pending

Carnap says this is incorrect. DeM does not work in this context.

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22~(~A%20%E2%88%A7%20~B)%22,%22(A%20%7C%20B)%22%5D

Oct 23, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22P%7CQ%22,%22~Q%7CR%22,%22P%7CR%22%5D

Oct 22, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22A%20%7C%20(%20B%E2%88%A7%20C)%22,%22(A%7CB)%E2%88%A7(A%7CC)%22%5D

Oct 21, 2024

Pending

Can be solved using conjunction and then constructive dilemma

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22A-%3EP%22,%22B-%3EQ%22,%22A%7CB%22,%22P%7CQ%22%5D

Oct 21, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22~(P%20%7C%20Q)%20%22,%22P%22%5D

Oct 20, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22P-%3EQ%22,%22~(~P-%3E~Q)%22%5D

Oct 19, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-indirect-proof-generator?argument=%5B%22A%20%7C%20B%20%E2%8A%A2%20B%20%7C%20A%22,%22(T%20-%3E%20R)%20%E2%88%A7%20~S%22%5D

Oct 18, 2024

Pending

1 (P → Q) ∧ (Q → P) 2 P → Q ∧E 1 3 Q → P ∧E 1 4 P ∨ Q 5 P 6 Q →E 5, 2 7 P ∧ Q ∧I 5, 6 8 Q 9 P →E 3, 8 10 P ∧ Q ∧I 8, 9 11 P ∧ Q ∨E 4, 5–7, 8–10 12 (P ∨ Q) → (P ∧ Q) →I 4–11

Link: https://www.mylogichub.com/propositional-logic-indirect-proof-generator?argument=%5B%22(P-%3EQ)%E2%88%A7(Q-%3EP)%22,%22(P%7CQ)-%3E(P%E2%88%A7Q)%22%5D

Oct 17, 2024

Pending

I just plugged this one into the truth tree checker and it shows that its valid!

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22((A%20%E2%88%A7%20B)%20%3C-%3E%20(P-%3EQ))%22,%22((A%3C-%3E~Q)%E2%88%A7(B%3C-%3EP))%22,%22(P-%3EQ)%22%5D

Oct 16, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22((P-%3EQ)%E2%88%A7(Q-%3ER)%E2%88%A7(R-%3EP))-%3E((P-%3ER)%E2%88%A7(R-%3EQ)%E2%88%A7(Q-%3EP))%22,%22(%20~%20(%20B%20-%3E%20~Q%20)%20%E2%88%A7%20(%20~%20S%20%E2%88%A7%20T%20)%20)%E2%88%A7%20(%20X%20%7C%20K%20)%22%5D

Oct 14, 2024

Pending

VALID

Link: https://www.mylogichub.com/venn-diagram-generator?argument=%5B%22All%20B%20are%20F%22,%22All%20F%20are%20R%22,%22Therefore,%20All%20B%20are%20R%22%5D

Oct 12, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22P-%3E(Q%3C-%3ES)%22,%22S-%3ET%22,%22P-%3EQ%22,%22P%22,%22T%22%5D

Oct 12, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/semantic-tableaux-generator?argument=%5B%22(A%20=%20K)-%3E(~A%7CK)%22,%22(~A%7CK)%22%5D

Oct 8, 2024

Pending

Please help to solve it asap

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22A%7C~(B%7CC)%22,%22(A%7C~B)-%3EC%22,%22A%22%5D

Oct 7, 2024

Pending

this is AIE - 3 not AIE - 1

Link: https://www.mylogichub.com/venn-diagram-generator?argument=%5B%22All%20mammals%20are%20animals.%22,%22Some%20dolphins%20are%20mammals.%20%22,%22No%20dolphins%20are%20animals.%20%22%5D

Oct 6, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-indirect-proof-generator?argument=%5B%22((P-%3EQ)-%3E(P-%3ER))-%3E(P-%3E(Q-%3ER))%22%5D

Oct 3, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-indirect-proof-generator?argument=%5B%22(~F%7CG)-%3E(W%7C~G)%22,%22(~Y-%3E~F)%E2%88%A7(E-%3EG)%22,%22~Y%7CE%22,%22~W%22,%22~F%E2%88%A7~G%22%5D

Sep 29, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/quantificational-logic-calculator?argument=%5B%22~Ha%E2%88%A7%E2%88%80x(Ax-%3ECx)%22,%22%E2%88%80x(Ax-%3E%E2%88%83y(Dy%E2%88%A7Kxy))%22,%22%E2%88%80y(Dy-%3EGya)%22,%22~%E2%88%80x(Ax-%3ESx)%22%5D

Sep 27, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22(~F%20%7C%20G)%20-%3E%20(W%20%7C%20~G)%22,%22(~Y%20-%3E%20~F)%20%E2%88%A7%20(E%20-%3E%20G)%22,%22~Y%20%7C%20E%22,%22~W%22,%22~F%20%E2%88%A7%20~G%22%5D

Sep 26, 2024

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22A%20%E2%88%A7%20(B%20%7C%20C)%22,%22(A%20%E2%88%A7%20B)%20%7C%20(A%20%E2%88%A7%20C)%22%5D

Sep 26, 2024

Fixed

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22~A-%3EC%22,%22~(A%E2%88%A7B)%22,%22~(S%E2%88%A7T)-%3E~(C%7CD)%22,%22B%22,%22T%22%5D

Developer's Reply: Thank you for reporting :)

Sep 4, 2024

Fixed

"All M are S" is major premise.

Link: https://www.mylogichub.com/venn-diagram-generator?argument=%5B%22All%20M%20are%20S.%20%22,%22Some%20M%20are%20P.%20%22,%22Therefore,%20some%20S%20are%20P.%22%5D

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

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22A-%3E(B-%3EC)%22,%22(B%E2%88%A7C)-%3EA%22,%22B-%3E(C%3C-%3EA)%22%5D

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

Pending

Argument Error

Link: https://www.mylogichub.com/propositional-logic-indirect-proof-generator?argument=%5B%22G-%3ED%22,%22D-%3EL%22,%22~L%22,%22~G%22%5D

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

Fixed

Argument Error

Link: https://www.mylogichub.com/propositional-logic-indirect-proof-generator?argument=%5B%22G-%3ED%22,%22D-%3EL%22,%22~L%22,%22~G%22%5D

Aug 19, 2024

Fixed

Argument Error

Link: https://www.mylogichub.com/quantificational-logic-calculator?argument=%5B%22%E2%88%83x%E2%88%80y(Kxy)%22,%22%E2%88%80x%E2%88%80y(Lyx)%22,%22%E2%88%83x%E2%88%83y(Kxy%20%E2%88%A7%20Lyx)%22%5D

Aug 17, 2024

Fixed

it wont show the full image

Link: https://www.mylogichub.com/semantic-tableaux-generator?argument=%5B%22H%3C-%3E~(I%7CJ)%22,%22I%7C~H%22,%22~H%22%5D

Developer's Reply: Thank you for reporting :))

Aug 14, 2024

Fixed

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

Fixed

(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

Pending

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

Pending

Logic proofs with axiom kf replacement

May 15, 2024

Pending

Conjunctive normal form generator/solver

May 15, 2024

Pending

Application error: a client-side exception has occurred (see the browser console for more information).

May 13, 2024

Pending

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

Fixed

It keeps crashing for me :((

May 9, 2024

Fixed

¬P, P ↔ Q ⊢ ¬Q

Link: https://www.mylogichub.com/propositional-logic-calculator?argument=%5B%22~P%22,%22P%3C-%3EQ%22,%22~Q%22%5D

Apr 26, 2024

Fixed

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

Pending

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

Pending

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

Pending

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

Pending

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

Fixed

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.