nguage(x, l) \land SpeaksLanguage(y, l)
    \implies Understands(x, y).<br />
$$

3.  Translate into first-order logic the following sentences:<br />

    1.  Understanding leads to friendship.<br />

    2.  Friendship is transitive.<br />

    Remember to define all predicates, functions, and constants you use.
</p>
    </div>
</div>

<p><br /></p>

<div class="card">
    <div class="card-header p-2">
        <a href="ex_14/" class="p-2">Exercise 14 </a>
        <button type="button" class="btn btn-dark f