Sheet5 - McMaster University Department of Computing and...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
McMaster University Department of Computing and Software Dr. W. Kahl COMP SCI 1FC3 Sheet 5 COMP SCI 1FC3 — Mathematics for Computing 2 February 2012 Exercise 5.1 Translate the following English statements into predicate logic. (a) n is greater than 23. (b) The integer n is greater than 23. (c) x is smaller than y , unless the square of x is greater than w . (d) p is a natural number, and smaller than x . (e) The natural number p is smaller than x . (f) If p and q are negative, their product is positive. (g) Value f . j is j + i greater than f . i . (h) x is a solution of the equation f . x = x + 1. (i) y is a solution of the equation f . x = x + 1. (j) The real number x is a solution of the equation f . x = x + 1. (k) If x is a solution of the equation f . x = x + 1, then it is smaller then u . Exercise 5.2 Translate the following English statements into predicate logic, introducing types, constant symbols, and pred- icate symbols as appropriate. Example: Igor called Alice, and Alice called Bob. Solution:
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/06/2012 for the course COMP SCI 1FC3 taught by Professor Kahlwolfram during the Spring '11 term at McMaster University.

Page1 / 2

Sheet5 - McMaster University Department of Computing and...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online