Discrete Mathematics 2

K. Subramani, LCSEE, West Virginia University February 15, 2013

1. Talk about text notation for proof rules and deduction.

2. The notions I |̸= F and I ⊧ ¬F.