This document provides examples of how to use WolframAlpha to check work and explore examples in set theory and logic. It notes that entering "venn diagram" returns set theory and logic examples, while logical expressions like "p intersection q" and "p and q" return different results. The document encourages using logical functions like "and", "or", and "not" to get information from WolframAlpha like Venn diagrams, logic circuits, and more.

1. The examples here show you how to use WolframAlpha for
checking your work and exploring other examples.
Set Theory and Logic Examples

2. ‘venn diagram’ returns several examples
for Logic and Set Theory.

4. Note that on the previous slide the term ‘venn
diagram’ caused the expression to be interpreted
as a logical expression!

5. One could avoid the musical notes!
Note the different returns ‘for p intersection q’
and ‘p and q’ on the next slide.

6. A wealth of information including a Venn
diagram.

7. If a logical expression is entered much
information is returned including a logic circuit
and a Venn diagram as on the next slide

11. Use the logical functions such
as ‘and’ and ‘or’ with ‘not’.