eaksLanguage(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.
</div>

  </div>
  <div class="card">
    <div class="card-header p-2">
        <a href='#' class="p-2">Exercise 8.13</a>
        <a class="bookmarkquest" id="bookmark_question">
          <b