Cs610 Lecture 1 Symbolic Logic Examples And Worksheet Page 2

ADVERTISEMENT

Sam has a sheet of paper with statements numbered from 1 to 100. Statement n
says "exactly n of the statements on this sheet are false." Sam says “Only one of
these statements is true”.
Man in human. Humans have no mechanical parts. A razor is mechanical. A
man has a razor while shaving. Therefore, a man is not human while shaving.
Logical Forms
ex1. If you are a CS major, you will love CS295.
You are a CS major.
____________________________
ex2. If you can find your way to KH007 or ______________________, you will
get an A in CS295.
You dream about symbolic logic.
Therefore, you will get an A in CS295.
A statement (proposition) is a sentence that can be true or false but not both.
Examples – which are propositions?
1.
6.
2
10
10
2
2 + 2 = 4
10
> 2
or 2
> 10
7. This sentence is false
2.
2 + 2 " 4
3. What is the sum 2+2?
!
!
4. Evaluate the sum 2+2.
!
5.
4 = 2 and 5 > 2
CS610 Lecture 1 p.2
!

ADVERTISEMENT

00 votes

Related Articles

Related forms

Related Categories

Parent category: Education