#Discrete Mathematics - Where did I go wrong?

12 messages · Page 1 of 1 (latest)

broken locust
#

Prove that the given argument is valid. First find the form of the argument by defining predicates and expressing the hypotheses and the conclusion using the predicates. Then use the rules of inference to prove that the form is valid.

I can't eliminate P(x) unless I can use simplification on part of a logical expression

Screenshot_20240829_195240_Samsung_Notes.png
strange wrenBOT
#
  1. Ask your question and show the work you've done so far. If you've posted a screenshot of a question, specify which part you need help with.
  2. Wait patiently for a helper to come along.
  3. Once someone helps you, say thank you and close the thread with:
    +close
  4. Feel free to nominate the person for helper of the week in #helper-nominations
  5. Do not ping the mods, unless someone is breaking the rules.
  6. If you're happy with the help you got here, and the server overall, you can contribute financially as well:
civic rose
#

S∧P -> T and S -> P so S -> T?

broken locust
civic rose
#

if the domain is the set of students, is S even necessary?

broken locust
civic rose
#

i don't know what that is lol

broken locust
#

The two above the line are hypothesis, and the one below is a conclusion. The order of the hyptheses does not matter

civic rose
#

oh