Yesterday I had a lecture in Quantitive Methods for computing, which was very wicked. We had a text, which the lecturer proved with logic maths. Here it is:


1) If the software is robust, -----> R
or the project is under budget, -----> B
then the team leader is happy. -----> H
2)If the team leader is happy,
then the team get a bonus. -----> P
3)The team don't get a bonus.
------------------------------------------
Therefore the software is not robust


Solution:

1) (R or B) => H
2) H => P
3) not(P)
-------------------------
not(R)


Here is the scheme:


(R or B) => H
H => P
------------------
(R or B) => P - Hypothetical Syllogism

not(R) and not(B) -> not(R) - Simplicfication