Army Public College of Management Sciences

Assignment 02
Formal Methods in Software Engineering

Q1. The following predicates are defined:

friend is " is a friend of mine"
wealthy is " is wealthy"
clever is " is clever"
boring is " is boring"
Write each of the following propositions using predicate notation:
1 Jimmy is a friend of mine.
2 Sue is wealthy and clever.
3 Jane is wealthy but not clever.
4 Both Mark and Elaine are friends of mine.
5 If Peter is a friend of mine, then he is not boring.
6 If Jimmy is wealthy and not boring, then he is a friend of mine.
Q2. Using the same predicates you defined in question 1, symbolise each of the following.
(a) Some of my friends are clever.
(b) All clever people are boring.
(c) None of my friends is wealthy.
(d) Some of my wealthy friends are clever.
(e) All my clever friends are boring.
(f) All clever people are either boring or wealthy.
Q3.Define suitable propositional functions, and hence symbolise:
(a) All pop-stars are overpaid.
(b) Some RAF pilots are women.
(c) No students own a Rolls-Royce.
(d) Some doctors cannot write legibly.
Q4. In the following, the universe of discourse is {people}. One-place predicates are defined as
follows:
cheats is "... cheats at cards"
punk is " has punk hair"
scout is "... is a Boy Scout"
Write the following propositions as sensible English sentences:
(a) x, scout(x) ^cheats(x)
(b) x, punk(x) cheats(x)
(c) x, scout(x) (punk(x) cheats(x))
(d) x, cheats(x) ^punk(x)