Advanced Search

Question: Logic and Set Theory with Maple

Question:Logic and Set Theory with Maple

Angelos58 10 Maple
August 16 2012
1

May I obtain, with Maple, an answer, true or false, about general questions of Logic and Set Theory?

i.e. Without constructing a Set, I want to know if is it true or false, that "if A is a subset of B and B is a subset of C then A is a subset of C".

 

Thanks in advance

 

Angelos58
Please Wait...