Name ________________________   Logic Homework 14  Date ______________

Circle the valid arguments, and cross out the invalid ones.

1.	

Xg 		
$y~~Xy	

	2.	

/\x~~Fx	
Fs	

	3.	

/\xFx		
Fm	

	4.	

Ko		
$xKx	

5.	

Xg 		
/\y~~Xy	

	6.	

$x~~Fx	
Fs	

	7.	

$xFx		
Fm	

	8.	

Ko		
/\xKx	

Prove the valid arguments valid by derivation.

1. Show  	

2. 	

3. 	

4. 	

5. 	

6. 	

7. 	

8. 	

9. 	

1. Show  	

2. 	

3. 	

4. 	

5. 	

6. 	

7. 	

8. 	

9. 	

1. Show  	

2. 	

3. 	

4. 	

5. 	

6. 	

7. 	

8. 	

9. 	

1. Show  	

2. 	

3. 	

4. 	

5. 	

6. 	

7. 	

8. 	

9.