You are here:

Question
Prove using a proof sequence that the argument is valid:
(A-->C)^(C-->B')^B-->A'

So how would I justify, step by step, that the argument above is valid? Thanks in advance!

I believe this says that A implies C and C implies not B
then B implies not A.

It is not valid.
If A-->C, then C is a set in A.
If C-->B', then B is not in C.
Just because B is not in C, it could be in A where A does not include C.

I did this by drawing shapes.
Make an oval on a piece of paper and call it A.

Since A-->C, make another oval called C that is fully contained in A.

Since C-->B', then draw a region for B outside of C.
Note that the region for B would contain part of A and part of the outside of A.

From this picture, it can be seen that B has nothing at all to do with A'.
It is both on the inside and outside of A and A'.
Questioner's Rating
 Rating(1-10) Knowledgeability = 10 Clarity of Response = 10 Politeness = 10 Comment Thank you very much! This increased my understanding of the problem!

Volunteer

#### Scott A Wilson

##### Expertise

I can answer any question in general math, arithetic, discret math, algebra, box problems, geometry, filling a tank with water, trigonometry, pre-calculus, linear algebra, complex mathematics, probability, statistics, and most of anything else that relates to math. I can also say that I broke 5 minutes for a mile, which is over 12 mph, but is that relevant?

##### Experience

Experience in the area; I have tutored people in the above areas of mathematics for over two years in AllExperts.com. I have tutored people here and there in mathematics since before I received a BS degree back in 1984. In just two more years, I received an MS degree as well, but more on that later. I tutored at OSU in the math center for all six years I was there. Most students offering assistance were juniors, seniors, or graduate students. I was allowed to tutor as a freshman. I tutored at Mathnasium for well over a year. I worked at The Boeing Company for over 5 years. I received an MS degreee in Mathematics from Oregon State Univeristy. The classes I took were over 100 hours of upper division credits in mathematical courses such as calculus, statistics, probabilty, linear algrebra, powers, linear regression, matrices, and more. I graduated with honors in both my BS and MS degrees. Past/Present Clients: College Students at Oregon State University, various math people since college, over 7,500 people on the PC from the US and rest the world.

Publications
My master's paper was published in the OSU journal. The subject of it was Numerical Analysis used in shock waves and rarefaction fans. It dealt with discontinuities that arose over time. They were solved using the Leap Frog method. That method was used and improvements of it were shown. The improvements were by Enquist-Osher, Godunov, and Lax-Wendroff.

Education/Credentials
Master of Science at OSU with high honors in mathematics. Bachelor of Science at OSU with high honors in mathematical sciences. This degree involved mathematics, statistics, and computer science. I also took sophmore level physics and chemistry while I was attending college. On the side I took raquetball, but that's still not relevant.

Awards and Honors
I earned high honors in both my BS degree and MS degree from Oregon State. I was in near the top in most of my classes. In several classes in mathematics, I was first. In a class of over 100 students, I was always one of the first ones to complete the test. I graduated with well over 50 credits in upper division mathematics.

Past/Present Clients
My clients have been students at OSU, people who live nearby, friends with math questions, and several people every day on the PC. I would guess that you are probably going to be one more.