Pricing
Log in
Sign up
Home
Homework Help
Study Guides
Class Notes
Textbook Notes
Textbook Solutions
Booster Classes
Blog
Home
Class Notes
1,200,000
CA
670,000
Computer Science 2209A/B Lecture Notes - Lecture 10: Propositional Calculus, Free Variables And Bound Variables, Logical Consequence
51
views
3
pages
erinelephant528
3 Apr 2017
School
Western University
Department
Computer Science
Course
Computer Science 2209A/B
Professor
Lila Kari
Like
For unlimited access to Class Notes, a
Class+
subscription is required.
Get access
Grade+
$40
USD/m
Billed monthly
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
10 Verified Answers
Class+
$30
USD/m
Billed monthly
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
7 Verified Answers
Continue
Related Documents
Computer Science 2209A/B Lecture Notes - Lecture 5: Propositional Variable, Metalanguage, Deductive Reasoning
erinelephant528
MATH 1090 Lecture Notes - Lecture 11: First-Order Logic, Atomic Formula, Arity
peachwalrus727