Practice Exercise:

Try to prove the ff. using rules of inference and rules of replacements.
This is NOT a graded activity.
1.

2.

3.

4.

5.

1.  A  B   E
2. A  B    A  B 
3. A
4. A  B
5. E  S
S