Clust/Logic and foundations

Basic logic, including truth tables and implication, quantifiers, predicates, and sentences. The first-order language of set theory, and set-theoretic predicates.

Below, you should see a graph of the definitions and statements, and the deductive reliances among them. This graph may be too small to read as displayed below. Until a zoomable svg applet is installed, you can try one of the following (in Firefox):

• Right-click on the graph, and click on "This Frame", then "Show only this frame".
• Right-click on the graph, and click on "This Frame", then "View frame source".

The "frame source" is the SVG (scalable vector graphics) file, which can then be saved, and viewed and edited using many software utilities, such as Inkscape.