This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: CONCORDIA UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE & SOFTWARE ENGINEERING COMP 232/2 Mathematics for Computer Science FALL 2010 Assignment 1 Solutions 1. In each of the three cases A is a knight and B is a knight , A is a knight and B is a knave , A is a knave and B is a knave , A would have answered yes, and in the case A is a knave and B is a knight A would have answered no. Since As answer determines the status of A and B uniquely, As answer must have beeen no, and it follows that A is a knave and B is a knight. 2. a) Tautology b) Contingency c) Contingency 3. a) ( p F ) p ( p F ) p ( p F ) p p p p p T b) ( p q ) ( p r ) ( q r ) ( ( p q ) ( p r ) ) ( q r ) ( p q ) ( p r ) ( q r ) ( p q ) ( p r ) ( q r ) ( p q ) ( p r ) ( q r ) ( ( p...
View Full Document
This note was uploaded on 11/15/2010 for the course ENCS COMP 232 taught by Professor Ford during the Fall '10 term at Concordia CA.
- Fall '10