23 comments

  • 14 hours ago

    Simple as that hahah

    1
  • Sunday, Mar 8

    Is it perfectly ok to disregard these formulas if we were able to filter through the arguments and correctly infer if they were valid or not on the first try?

    1
    Thursday, Mar 12

    @ThatsAmoree I would imagine not; while we're able to intuitively derive that an argument is incorrect without having to translate it into these Lawgic arguments, I believe the point of these exercises is to give us tools to break down arguments for when our intuition inevitably fails. While we can solve algebraic equations just by eyeballing them (2x = 12 is x = 6, which we could figure out without pen and paper), on a long-winded test that's meant to mentally exhaust us and drain our energy halfway through, our intuition might not be so sharp. So, Lawgic is meant to be both an alternate way to understand arguments as well as a fallback when our intuition is exhausted. While some are super geniuses whose intuition never fails, even super geniuses have safety nets!!

    TLDR, no; these formulas are there to help us when our intuition fails!

    Wishing you the best on your studies! Crush this test!!

    5
  • Monday, Nov 24, 2025

    coming back here from logical reasoning. It would be great to have all the review sheets+ short summaries of the lessons all in one place for quick review. I remember most of the material, just needed some reminders of key points without having to rewatch entire videos (even if on 1.7 speed) #feedback

    26
  • Wednesday, Nov 19, 2025

    Ah yes, Modus Ponens and Modus Tollens.

    3
  • Friday, Oct 17, 2025

    for the second formal argument is B the necessary conditional and A is the sufficient?

    1
    Monday, Oct 20, 2025

    @anjjredd yes anything to the right of the arrow is considered to be the necessary condition. But it's all in relation. So in A->B->C "B" is the necessary condition in relation to "A" but it is sufficient condition in relation to "C" since its the -> arrow pointing to "C". I read it in a comment I try to remember it as SUN. Sufficient, arrow is the "U" and "N" is the necessary condition.

    1
  • Saturday, Jul 13, 2024

    Valid Formal Argument 1: Conditional Argument

    The sufficient condition is satisfied. Satisfying the sufficient condition yields to valid conclusions (guarantees the conclusion).

    Premise 1: If it is a cat, then it is a mammal.

    Premise 2: Doug is a cat.

    Conclusion: Is it valid to conclude that Doug is a mammal?

    Yes. Cats are a subset of mammals, the superset.

    C→M

    dC (Doug is a member of C)

    Therefore: dC→M

    Valid Formal Argument 2: Contrapositive Argument.

    The necessary condition failed. Failing the necessary condition allows contraposing to draw the valid conclusion(s).

    Premise 1: If it is a cat, then it is a mammal.

    Premise 2: Doug is not a mammal.

    Conclusion: Is it valid to conclude that Doug is not a cat?

    Yes. Since Doug does not belong in the superset of mammals, Doug cannot be a cat.

    C→M

    /dM (Doug is not a member of M)

    Therefore: /dM→/C

    104
    Wednesday, Sep 25, 2024

    Thanks, Goat.

    14
  • Tuesday, Apr 2, 2024

    #help

    In Argument #1, this is unclear.

    In no way does it explain that since A has x, that therefore B has x. It's simply assuming that if A then B (A -> B), that this includes X is carried over to B...

    1
    Thursday, Apr 4, 2024

    I think you are mistaking X "having" A for X "being" A/ X "being a subset" of A.

    X is A...and A->B...therefore X--> B

    3
    Tuesday, Apr 2, 2024

    I thought so to until I substituted words for the symbols.

    A -> B

    xA

    -----

    xB

    All cats (a) are mammals (b). Jamie is a cat (xA). Therefore Jamie is a mammal (xB)

    7
    Tuesday, Jun 4, 2024

    A → B

    X → A

    X → A → B

    -----

    X → B

    You can also think of it as:

    If A, then B

    x is a part of A

    Therefore, x must also be a part of B

    A → B:

    - If I am at Lake Minnetonka (A), then I am in Minnesota (B)

    xA:

    - I was purified (x) in the waters of Lake Minnetonka (A)

    ------

    xB:

    - Therefore, I was purified in Minnesota

    Also, x has A, not the other way around (same with B)

    6
    Thursday, Apr 4, 2024

    Yeah that works too, it's all semantics

    X is A

    vs.

    X is a member of the set of A

    0
    Thursday, Apr 4, 2024

    Hi, I read xA as x is a member of the set A. Is that not correct? In the linked example for #1, the notation LJ is used to show Luke is a member of the Jedi set.

    If x is a member of the set A and a is a subset of B then x is a member of the set B is it not?

    0
    Monday, Nov 11, 2024

    I Love the Purple Rain reference,

    0
  • Friday, Feb 9, 2024

    Just a personal observation, I am finding for myself that there are some instances where Lawgic does simplify and other instances where it complicates.

    42
    Saturday, Feb 24, 2024

    agreed.

    4
  • Saturday, Dec 16, 2023

    Cannot emphasize enough how much more I am appreciating this version of the core compared to version 1 thank you!!!

    9
    Sunday, Jan 21, 2024

    love ur username lol

    7
    Sunday, Jan 7, 2024

    Big agree.

    2
  • Wednesday, Aug 30, 2023

    For A>B>C>D remember that Unless in conditional logic is Group 3, which leads us to Negate Sufficient Condition.

    So now we remove the unless. 'one cannot' becomes 'one can'. Why? The negated form of 'cannot' is 'can'.

    "Therefore, if one can become Jedi (sufficient condition), then one possesses extraordinary discipline (necessary condition). A>D

    2
    Tuesday, Feb 20, 2024

    /J --> D

    Negate the J.

    (Remember, "unless" is a group 3 indicator. Pick an idea, negate that idea, then make that negated idea into a sufficient condition)

    In this case, we'll just negate the J because it already had a negation to begin with. (One cannot become a Jedi UNLESS one possesses extraordinary discipline.)

    It becomes J --> D.

    (This is the same as A -> D, I just used my own signage)

    0

Confirm action

Are you sure?