BMAN20072 Investment Analysis
Workshop 1 solution
Accounting and Finance Division
Manchester Business School
1. Assume the following
Investment
Expected return
Standard deviation
1
0.12
0.3
2
0.15
0.5
9
Predicate languages (all sections): Solutions
1. Let L be a predicate language with constant symbols c and d, unary function
symbol f , binary function symbol g , unary relation symbol P and ternary
7
A Hilbert-style system: Solutions
1. Show, using the Hilbert-style calculus (which should be used for all the
questions in this section), that p, q r (p q ) r. Now re-do this using
the Deduction The
8
A natural deduction system: Solutions
1. Re-do Exercise 1 from the previous set using the natural deduction/Gentzenstyle calculus.
Solution
p, q r, p q p p, q r, p q p q
p, q r, p q q r
p, q r, p q
6
Interpolation: Solutions
1. You are given that (p r) (q r) |= (s p) (s q ). Find an
interpolant between (p r) (q r) and (s p) (s q ) which involves
the common propositional variables, p, q , only.
S
1
Propositional terms: Solutions
1. Suppose that:
p is the proposition It is raining.
q is the proposition There are no clouds in the sky.
r is the proposition We are in Manchester.
s is the propositi
5
Adequate sets of connectives: Solutions
1. Show that cfw_, is an adequate set of connectives.
Solution p q is logically equivalent to p q ; p q is equivalent to (p q );
p q is equivalent to (p q )
3
Beth trees: Solutions
1. Use Beth trees to determine whether or not each of the following is true:
(i) p q |= (p q ) q ;
(ii) p r, (q r) |= p q .
Solution (i)
p q | ( p q ) q
VVVV
ll
VVVV
lll
VVVV
l
2
Valuations: Solutions
1. Draw up truth tables for each of the following propositional terms.
(i) (p q ) r;
(ii) p p;
(iii) p p;
(iv) (p q ) (q r) p);
(v) (p q ) r;
(vi) p q p;
(vii) (p q r) (p (q r)
4
Normal forms: Solutions
1. Find a disjunctive normal form for each of the following propositional terms:
(i) p (p q );
(ii) (p r) (q s);
(iii) (p q ) (q p);
(iv) (p (p q ) (p q );
(v) (p q ) (p (q r