Name ________________________   Logic Homework 6  Date ______________

6. Determine whether the following arguments are valid or invalid. If it's valid prove it valid by DERIVATION. If it's invalid prove it invalid by venn diagram AND truth table.

1. 	Tf			1. Show  							
	Ug 			
	Tf ^ Ug		2. 								
				
				3. 								
				
				4. 								
				
2.	Af
	Af ^ Bg

		Premise	Conclusion
Af    Bg	Af 		Af ^ Bg

(Invalid if premise(s) can be true while conclusion is false. Valid otherwise.)

3.	Ch ^ Di 		1. Show  							
	Di ^ Ch
				2. 								
	
				3. 								
4.	Ej ^ Fk 
	Fk ^ Gl 		4.