Logic

From Computer Science Wiki
Revision as of 13:06, 20 February 2018 by Mr. MacKenty (talk | contribs)
Artificial Intelligence[1]

Logic is a formal language that allows us to make assertions about the world in a very precise way[2]

  • Soundness: Only valid conclusions can be proven
  • Completeness: All valid conclusions can be proven

References

  1. ↑ http://www.flaticon.com/
  2. ↑ Ashok Goel
Retrieved from "https://computersciencewiki.org/index.php?title=Logic&oldid=7801"