![]()
Princeton University
|
Computer Science 345 |
|
Example of statements:
- "All men are created equal"
- "1+1=2"
- "Fermat's last theorem"
- "Every true statement can be proved"
- "This sentence is false"