Homework Help: math-logic

Posted by donovan on Monday, February 7, 2011 at 11:51am.

Help with this please. I have to form the contrapositive of each and simplify negation using DeMorgan's rules.

a) a->(b or c)
my answer:
contra(~b or~c)->~a
simplified: ~b and ~c->~a

b) (A and B)->(~q)
my answer:
contra (~A or~b)->q
simplified:~a or ~b->q

Am i even close?

No one has answered this question yet.

Answer this Question

Related Questions

math - Need help with negation using demorgan law. ~(a and ~b) I have ~a and b ...
Math - Let p -> q represent the conditional statement All hummingbirds ...
Geometry - In logic, which of the following is said to be logically equivalent ...
Logic - Can someone please help me solve these problems? I have to use the 17 ...
logic - I need help proving these arguments using rules of inference, please. (S...
math-logic(shsat) - Question: If 15 - 2x < 7, then for all possible ...
Logic - Need help supplying proo f for the following problem using the rules of ...
Logic - I need help with these advanced excercises in logic. They're really ...
discrete mathematics - problem has to do with three valued logic, ie the values ...
Logic - Supply steps in a proof of a valid argument and give reasons using rules...

For Further Reading

First Name:
School Subject:
Answer: