CS 486: Applied Logic
Spring 1999
Handouts: Lecture 1
Why are these statements true?
- If n is a prime number and greater than two, then n is odd; so if n is greater than two and not odd, then it is not prime.
- If there is overflow in this program, then an error message will print, but no error message printed; so there is no overflow.
- Alfred will pass only on the condition that he will pass only if he concentrates implies he will pass.
- A square is a rhombus, and a rhombus is a parallelogram; so a square is a parallelogram.
- Socrates is a man, and all men are mortal; so Socrates is mortal.
- Every natural number is a prime or not a prime.
- There are infinitely many primes.
- If 2/0 = 0 then 2 = 0.
- Had Stalin developed the atomic bomb before anyone else, then we'd all be speaking Russian.
- This statement is false.
Joan Lockwood, Department of Computer Science, Cornell
University, Ithaca, NY. Mail to: joan@cs.cornell.edu
|