title: Predicate Logic and CNF
body: <p>One given example, two questions, two ideas: </p>
  
  <pre><code>∃t ∀s learn(s, t, a) and not distracted(s) =&gt; passExam(s, a)
  </code></pre>
  
  <p>1) What means that in natural language?</p>
  
  <p>There is a t(opic), when a s(tudent) learns that t(opic) in a(rtificial intelligence) and is not distracted, this s(tudent) pass the exam in a(i)</p>
  
  <p>2) What is the CNF of it?</p>
  
  <pre><code>not learn(G(x), F(x)) or distracted(G(x)) or passExam(G(x), a)
  </code></pre>
  
  <p>What do you think?</p>