back to CS486 Course Homepage
|
|
back to HANDOUTS
|
CS 486: Applied Logic
|
Spring 2003
|
Lecture 1 Handout
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.
|
|
|
|