[Unified-mailman] Re: CP18-20 questions

[Kristina Lundqvist]

Hello Unified,

Start with the following assumptions:
Statement                               Proposition

Joe is the killer                       KJ
George is the killer                    KG
Hannah is the killer                    KH
Joe touched the candlestick             CJ
Joe touched the wrench          WJ
George touched the candlestick  CJ
George touched the wrench               WG
Hannah touched the wrench               WH
Hannah touched the candle stick CH

You should be able to express all the English statements using these 
propositions. you should be able to show through resolution who the real 
killer is.

For the fibonacci number, you need to show through induction that the 
formula is true for n+1 given n is true.


..IKL


At 16:08 2004-05-09 -0400, you wrote:

>Hello Prof. Lundqvist,
>
>
>
>I am writing to ask you two questions regarding CP18-20. First, in part 3, 
>how do I convert those English statements into formal propositions, since 
>there are 3 things involved? Second, on part 5, what is it that we have to 
>prove? From reading the question I only get the definition of the 
>Fibonacci numbers. But that is a definition, which can not be proved, 
>because it is a definition. I had no trouble solving the other problems, 
>though.
>
>