CS 2104 Problem Solving in Computer Science                    OOC Assignment 4
-------------------------------------------------------------------------------
For questions 1 through 8, write a single, colloquial English sentence that 
states the precise conditions under which the given statement would be false.
	
1.  If Fred is an omnivore then Butch is cautious.

    Fred is an omnivore, but Butch is not cautious.

2.  If Butch is not cautious then Ralph is contented.

    Butch is not cautious, and Ralph is not contented.
    
3.  If Julia is traveling then Butch is not cautious.

    Julia is travelling, and Butch is cautious.
	
4.  Every person who is sane can understand logic.

    There is a person who is sane but cannot understand logic.
    
5.  No lunatics are fit to serve on a jury.

    There is a lunatic who is fit to serve on a jury.
    
6   None of John's children can understand logic.

    There is a child of John who can understand logic.
	
7.  There is a day of the week such that, its name contains an 'r' and the 
    succeeding day falls on the weekend.
    
    For every day of the week, it has a name that does not contain an 'r'
    or the succeeding day does not fall on the weekend.
    
    A less satisfying, but acceptable answer would be:
    
    There is no day of the week such that, its name contains an 'r' and the
    succeeding day falls on the weekend.
    
8.  There is a kind of tire such that, if it is not properly inflated then it 
    will overheat.
    
    For every kind of tire, even if it is not properly inflated it will not
    overheat.
    
    A less satisfying, but acceptable answer would be:
    
  	There is no kind of tire such that, if it is not properly inflated then it 
    will overheat.
	
9.  Suppose that statements 1 through 3 are true.  Suppose also that Julia is
    traveling.  What facts, if any, can you infer? Explain clearly.
    
    From 1 and 3, we may conclude that if Julia is traveling then Fred is
    not an omnivore.
    
    From 2 and 3, we may conclude that if Julia is traveling then Ralph is
    contented.
	
10. Suppose that statements 4 through 5 are true.  What facts, if any, can 
    you infer?  Explain clearly.

    From 4 and 6, we may conclude that none of John's children are sane.
    
    From 5 and the conclusion above, we may conclude that none of John's 
    children are fit to serve on a jury.