Skip to content
Nydus Open Learning

Symbolic logic

Conditional proof and the deduction theorem

Assuming an antecedent to derive a consequent, discharging the assumption, and the theorem that says why the finished conditional rests on the premises alone.

About 20 minutes7 activities Paper packet