Comic 74: True and False

Previous Previous       Next Next

TRUE: It is Monday and I am late for work and if I am late for work then the boss is not happy. FALSE: see FORMAL ARGUMENT.

Posted on 29th May 2010

Previous Previous       Next Next

See Archive for more


FORMAL ARGUMENT: FALSE


(1) On Mondays I am always late for work
(2) The boss is happy or I have time for lunch
(3) It is Monday and I have no time for lunch
(4) If I am late for work, then the boss is not happy


monday: It is Monday
late: I am late for work
lunch: I have time for lunch
boss_happy: The boss is happy


(1) premise: IF monday THEN late
(2) premise: boss_happy OR lunch
(3) premise: monday AND NOT lunch
(4) premise: IF late THEN NOT boss_happy
(5) simplification (3): monday
(6) implication (1),(5): late
(7) implication (4),(6): NOT boss_happy
(8) simplification (3): NOT lunch
(9) disjunction (2),(8): boss_happy
(10) conjunction (7),(9): boss_happy AND NOT boss_happy
(11) equivalence (10) by negation: FALSE

Creative Commons License This work is licensed under a Creative Commons Attribution-Noncommercial 3.0 Unported License. Which means that you are free to copy and reuse any of these comic sketches for noncommercial use as long as you tell people where you got them from - linking back to this website is one method.

You can select and copy the code below to use for linking back:

Link to this page using: <a href="http://www.slimfigures.co.uk/archive/comic74.php">slimfigures.co.uk - Number 74</a>

Or just quickly tell me what you think of this comic sketch: Number 74





Website designed and coded by justfigures.co.uk