COT 3100

Propositional Calculus

Here are a couple of files that contain data on propositional calculus:

• Logic and Proofs 1
• Logic and Proofs 2

Proofs

• Non-Constructive Proof of Existence

Homework

• Homework 1
• Homework 2
• Homework 3
• Homework 4