Skip to content

Commit

Permalink
Revamped all of the hints
Browse files Browse the repository at this point in the history
  • Loading branch information
@rodolphe
rodolphe committed Feb 28, 2012
1 parent 1ba2384 commit f806167
Showing 1 changed file with 48 additions and 9 deletions.
57 changes: 48 additions & 9 deletions exercises/modus_ponens.html
View file
Expand Up @@ -17,24 +17,63 @@

<div class="problems">
<div id="problem-type-or-description">
<p class="problem">
<div class="question">
<ol>
<li><var>MAJOR</var></li>
<li><var>MINOR</var></li>
</ol>
</p>
<p class="question"><code>\therefore</code> ?</p>
<code>\therefore</code> ?
</div>
<p class="solution" data-type="text"><var>S2</var></p>
</div>
</div>

<div class="hints">
<ol>
<li>If <em>I am happy</em>, then <em>I will eat
pie</em>.</li>
<li><em>I am happy</em>.</li>
<li>Therefore, <em>I will eat pie</em>.</li>
</ol>
<div>
<p>
When thinking about abstract logical statements it often helps to
think about what is being said in plain English:
<ul>
<li>If <code><var>S1</var></code> then
<code><var>S2</var></code></li>
<li><code><var>S1</var></code></li>
<li>Therefore&hellip;?</li>
</ul>
</p>
</div>
<div>
<p>
It also helps to replace the logical variables with
example statements, for example:
<ul>
<li><code><var>S1</var>=</code> today is Tuesday</li>
<li><code><var>S2</var>=</code> John will go to work</li>
</ul>
</p>
</div>
<div>
<p>
So if you substitute the example statements for the logical
variables you get:
<ol>
<li>If <strong>today is Tuesday</strong>, then
<strong>John will go to work</strong>.</li>
<li><strong>Today is Tuesday</strong></li>
<li>Therefore&hellip;?</li>
</ol>
</p>
</div>
<div>
<p>
What can you say is true if <strong>today is
Tuesday</strong> and <strong>if today is Tuesday, John
will go to work</strong>?
</p>
</div>
<div>
<p>Answer: John will go to work, or
<code><var>S2</var></code></p>
</div>
</div>
</div>
</body>
Expand Down

0 comments on commit f806167

Please sign in to comment.