You are here

Are we done yet?

16 June, 2015 - 16:08
Available under Creative Commons-ShareAlike 4.0 International License. Download for free at http://cnx.org/contents/383d4b87-2d7b-454e-99fe-2eaa43eae8ff@20.20

While equivalences are very useful, we are often interested in implications such as the one mentioned previously: ∀x :(φ) ⇒∃x :(φ). We could rephrase that as an equivalence, ∀x :(φ) ⇒∃x :(φ) ≡ true. Informally, it should be clear that that is rather awkward, and formally it is as well.

But such implications are exactly what inference rules are good for. So, let's continue and consider what First-order inference rules should be.