Name ________________________   Logic Homework 8  Date ______________

8. Prove the following arguments valid by DERIVATION. 

1. 	Lr ^ ~Lr		1. Show  							
	Ms 			
				2. 								
				
				3. 								
				
				4. 								
				
				5. 								
				
				7. 								
				
				8. 								

2. 	~Qm			1. Show  							
	~(Qm ^ Rm) 			
				2. 								
				
				3. 								
				
				4. 								
				
				5. 								
				
				7. 								
				
				8.