Logic: Difference between revisions
Mr. MacKenty (talk | contribs) (Created page with "right|frame|Artificial Intelligence<ref>http://www.flaticon.com/</ref> Logic is a formal language that allows us to make assertions about the world in a very...") |
Mr. MacKenty (talk | contribs) No edit summary |
||
| Line 2: | Line 2: | ||
Logic is a formal language that allows us to make assertions about the world in a very precise way<ref>Ashok Goel</ref> | Logic is a formal language that allows us to make assertions about the world in a very precise way<ref>Ashok Goel</ref> | ||
'''Soundness:''' Only valid conclusions can be proven | |||
'''Completeness:''' All valid conclusions can be proven | |||
== References == | == References == | ||
<references /> | <references /> | ||
Revision as of 12:06, 20 February 2018
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
- ↑ http://www.flaticon.com/
- ↑ Ashok Goel