Name ________________________   Logic Homework 7  Date ______________

7. Prove the following arguments valid by DERIVATION. 

1. 	Jh ^ Kh		1. Show  							
	~Kh 			
	~Jh			2. 								
				
				3. 								
				
				4. 								
				
				5. 								

2. 	Hb  ^ ~Jb		1. Show  							
	Jb 			
	~Hb			2. 								
				
				3. 								
				
				4. 								
				
				5. 								

3. 	Lg			1. Show  							
	Mf 			
	~(Lg ^ Mf)		2. 								
	Ne			
				3. 								
				
				4. 								
				
				5. 								
				
				6. 								

1. 	~ ~Fd			1. Show  							
	Fd			
				2. 								
				
				3. 								
				
				4.