Professional Documents
Culture Documents
Assignment 4: Simple Proofs: Student ID: 1361600
Assignment 4: Simple Proofs: Student ID: 1361600
Prove the following using the new proof notation we covered in the lecture (21st of October). You may use the rules we used to illustrate the proof notation. Please make sure to explicitly indicate what each proposition represents. (Alternatively you may wish to wait and use the rules of natural deduction we'll cover on the 28th. This might be more challenging but also more satisfying). a) John and Mary are getting married. If John gets married then Sarah will be jealous. If Sarah is jealous then her boyfriend will propose. Prove her boyfriend will propose. [5] Proof
John and Mary are getting married: John is getting married: Sarah will be jealous: Boyfriend will propose: J^M J ! " S S ! " B : B 1# J^M
2) J 3) J - > S 4) S 5) S - > B 6) B
^elimination {1} premise {3} elimination 2, 3 {1, 3} premise {5} elimination 4, 5 {1, 2, 3}
b) If John is a computer science student then he won't have a reading week. If John is an arts student then he will have a reading week. He'll either have a reading week or not. John is a computer science student. Prove he's not an arts student. [5]
Proof
John is a &omputer s&ien&e student: J 'e will ha(e a reading wee): * John is an art student: + J ! " , * + ! " * * ( , * J : ,+ 1# J premise $1% -# J ! " , * premise $-% 3# , * elimination 1 - $1 -% .# + !" * premise $.% /# ,+ Modus 0ollens $1 - .%1