Math
posted by Deb .
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

Hi,
1)
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)
2)
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)
graphic
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/1s1wrtruthtablesarerelatedtoeulercirclesargumentsinthe#ixzz0osmCruQD
Respond to this Question
Similar Questions

Philosophy
a) Using long or short truth tables (symbolize as necessary and show tables) determine and state whether the following arguments are valid, briefly explaining your table; and b) if valid, demonstrate validity by deductions using Group … 
Philosophy
a) Using long or short truth tables (symbolize as necessary and show tables) determine and state whether the following arguments are valid, briefly explaining your table; and b) if valid, demonstrate validity by deductions using Group … 
math
Determine the validity of the next arguments by using Euler circles, then translate the statements into logical statements using the basic connectives, and using truth tables, determine the validity of the arguments. Compare your answers. … 
math
Determine the validity of the next arguements by using Euler Circles,then translate the statements into logical statements,using the basic connectives, and using truth tables, determine the validity of the arguments. Com your answers. … 
logic
determine the validity of the next arguments by using Euler circles, then translate the statements into logical statements using the basic connectives, and using truth tables, determine the validity of the arguments. Compare your answers. … 
math
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. … 
Math
Truth tables are related to Euler circles. Arguments in the form of Euler circles can be translated into statements using the basic connectives and the negation as follows: Let p be gthe object belongs to set Ah. Let q be gthe … 
math
Truth tables are related to Euler circles. Arguments in the form of Euler circles can be translated into statements using the basic connectives and the negation as follows: Let p be gthe object belongs to set Ah. Let q be gthe … 
Informal Logic
Write two arguments in English,one in the form of modus poens and one in the form of modus tollens. Then write the arguments in symbols using sentence letters and truthfunctional connectives. Whay advantage does being able to symbolize … 
PHY103
Write 2 arguments in english, one in the form of modus ponens and one in form of modus tollens. Then write the arguments in symbols using sentence letters and truth functional connectives. What advantages does being able to symbolize …