Logic

Welcome to the main Logic page. To go to a specific course, please click on the one of the links under the calculus tab above. Here’s a description of course topics.

Natural Deductive Logic (Inactive)

Propositional Logic – We introduce propositional logic. We first define what logic is all about, move into truth tables, rules of inference, and finally do some proofs.

Metatheory – Why does this all work? Why do the rules of inference work? What are soundness and completeness? We answer all these questions and prove them!

Predicate Logic – We extend our knowledge of propositional logic to predicate logic. What are free and bound variables? How are the proofs different? What exactly are quantifiers?

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s