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
(R or B) => P
not (P)
------------------
not(R or B) - Modus Tollens
not(R or B) -> not(R) and not(B) - De Morgan
not(R) and not(B) -> not(R) - Simplicfication
Related Posts:
