Cs610 Lecture 1 Symbolic Logic Examples And Worksheet Page 9
ADVERTISEMENT
1
2
3
4
5
6
7
8
9
10
11
12Biconditional (if an only if)
ex. You are having fun if and only if you are in the computer lab.
The biconditional is true if
p q means that p is a sufficient condition for q.
ex:
If you are from Baltimore, then you
are
highly intelligent.
~ p ~ q means p is a necessary condition for q.
ex:
If you are not from Baltimore, then
you are
not highly intelligent.
Is (p → q ) ∧ (~ p → ~ q ) ≡ p ↔ q ?
To prove two statements are logically equivalent:
1.
OR
2.
Arguments
premise
1
premise
2
.
.
premise
n
conclusion
ex. If you are a CS major, you will love this course.
You are a CS major.
∴You will love this course.
When we use p’s and q’s to represent a particular argument, this representation is called an argument form.
CS610 Lecture 1 p. 9
ADVERTISEMENT
0 votes
Related Articles
Related forms
3.1 Quadratic Functions Examples And Worksheet - Chapter 3: Polynomial And Rational Functions
Education
The Graph Of A Quadratic Function (day 1) Examples And Worksheet - Algebra Unit 11-graphing Quadratics
Education
Lesson 3.3, 3.4, And 3.5: Adding, Subtracting, And Multiplying Integers Examples And Worksheets
Education
Capacity And Weight In The Customary System Examples And Worksheet - Chapter 8 Systems Of Measurement
Education
Related Categories
Parent category: Education