← 12-03 More Logic

• 2 Followers
• 37 Lines

12-03 More Logic

Get Embed Code x Embed video Use the following code to embed this video. See our usage guide for more details on embedding. Paste this in your document somewhere (closest to the closing body tag is preferable): ```<script type="text/javascript" src='https://amara.org/embedder-iframe'></script> ``` Paste this inside your HTML body, where you want to include the widget: ```<div class="amara-embed" data-url="http://www.youtube.com/watch?v=P_eu1YFp9Z8" data-team="udacity"></div> ``` 2 Languages

Showing Revision 2 created 07/28/2014 by Udacity Robot.

1. In this exercise, I'm going to give you some English sentences
2. and then some first-order logic sentences
3. and ask you does the first-order logic sentence
4. correctly encode the English sentence, does it incorrectly encode it,
5. or is it just an error that is not a legitimate sentence
6. in first-order logic?
7. The first English sentence is "Paris and Nice are both in France."
8. Here's one possible translation.
9. Paris and Nice are in France.
10. Here's another.
11. Paris is in France, and Nice is in France.
12. Tell us if each of these is a correct encoding of English,
13. incorrect, or if it's erroneous first-order logic syntax.
14. The second sentence in English is "There is a country that borders Iran and Syria."
15. Here are the possible translations.
16. There exists a c, and we're going to use the predicate capital C
17. to mean C when the argument is a country.
18. So, there exists a c such that C of c,
19. and we're going to use the predicate B to mean 2 objects border each other.
20. So, c borders Iran, and c borders Syria.
21. That's one translation. Here's the other translation.
22. There exists a c if C is a country,
23. then c borders Iran and c borders Syria.
24. And the final English sentence is no 2 bordering countries
25. can have the same map color, and we're going to use the predicate MC for map color.
26. Here's one possibility for all x and y.
27. X is a country, and y is a country.
28. And x and y border each other.
29. That implies it's not the case that the map color
30. of x equals the map color of y.
31. And I should say we're using map color here as a function, not as a predicate.
32. Here's another possibility.
33. For all x and y, it's not the case that x is a country,
34. or it's not the case that y is a country,
35. or it's not the case that x and y border,
36. or it's not the case that the map color of x
37. is equal to the map color of y.