Let P be "the object belongs to set A". Let q be "the object belongs to set B"
All A is B is equivalent to p -> q.
No A is B is equivalent to p -> ~q
Some A is B is equivalent to p ^ q
Some A is not B is equivalent to p ^ ~q
Determine the validity of the next arguments by using eucler circles, then translate the statements using the basic connectuives, and using truth tables, determine the validity of teh arguments. Compare answers.
No A is B
Some C is A
Some C is not B
All B is A
All C is A
All C is B