Post a New Question


posted by .

Determine the validity of the next arguments by using Euler circles, then translate the statements into logical statements using basic connectives, and using truth tables, determine the validity of the arguments. Compare your answers.
(a)No A is B (b) All B is A
Some C is A All C is A
____________ _____________

Some C is not B All C is B

  • Math -



    The area is part of C and not part of B hence the statement some C is not B is valid

    Let r be "The object belongs to set C"

    (p=>~q)Λ(pΛr) => (rΛ~q)

    The statement is valid because in all cases the statment is true (note that all Ts in the final column)


    The diagram shows the arguement is not valid since the diagram satisfies all B is A and all C is A without the conclusion all C is B (in fact you couldn't concluded even some C is B as the diagram shows that it is possible that no C is B)

    In statement form we have

    (q=>p)Λ(r=>p) => (r=>q)

    View Full Image

    As you can see there is a case when the staement isn't true (counterexample I guess). This is when an element was a member of A and C but not B. This case didn't contradict either of the statements All B is A and All C is A but it did contradict the conclusion that all C is B.

    I hope this has helped. Any questions then please ask. All the best,
    justanswer dot com/questions/1s1wr-truth-tables-are-related-to-euler-circles-arguments-in-the#ixzz0osmCruQD

Answer This Question

First Name
School Subject
Your Answer

Related Questions

More Related Questions

Post a New Question