Test textbook for quizzes - The Logic Course Adventure

Current Status

Not Enrolled

Price

$8.99

Get Started

Get Textbook

Test textbook for quizzes

Textbook Content

Expand All

1. Let the Adventure Begin 6 Sections | 1 Challenge Quiz

Expand

Chapter Content

0% Complete 0/6 Steps

1.1 Welcome to the Newsroom

1.2 Active Learning

1.3 Logic and Form

1.4 Entailment = Validity

1.5 Deductive vs. Inductive Logic

1.6 Extra Practice

Test Quiz

2. Weird Cases of Validity 7 Sections

Expand

Chapter Content

0% Complete 0/7 Steps

2.1 First Weird Case of Validity

2.2 Second Weird Case of Validity

2.3 Third Weird Case of Validity

2.4 Necessary vs. Contingent

2.5 Augmentation

2.6 Learning About Learning

2.7 Extra Practice

3. Argument Heroics 6 Sections

Expand

Chapter Content

0% Complete 0/6 Steps

3.1 Identifying Arguments

3.2 Sentences

3.3 Soundness and Premise Truth

3.4 Bivalence

3.5 Reading with Purpose

3.6 Extra Practice

4. Meet the Boolean Connectives 5 Sections

Expand

Chapter Content

0% Complete 0/5 Steps

4.1 And here is conjunction: &

4.2 Or is it disjunction: v

4.3 Not to neglect negation: ~

4.4 Lost in Translation

4.5 Extra Practice

5. Features of Connectives 4 Sections

Expand

Chapter Content

0% Complete 0/4 Steps

5.1 Scope

5.2 Arity

5.3 Advanced Boolean Translations

5.4 Extra Practice

6. Semantics for BOOL: Truth Tables 4 Sections

Expand

Chapter Content

0% Complete 0/4 Steps

6.1 Truth Tables for &, v and ~

6.2 Computing Truth Functions

6.3 Semantics, Syntax, and Pragmatics

6.4 Extra Practice

7. Using BOOL to Study Reasoning 4 Sections

Expand

Chapter Content

0% Complete 0/4 Steps

7.1 Tautologies and Taut-Falsities

7.2 Equivalence (DeM and DN)

7.3 Validity

7.4 Extra Practice

8. BOOLean Algebra 5 Sections

Expand

Chapter Content

0% Complete 0/5 Steps

8.1 Negation Normal Form (NNF)

8.2 Chain of Equivalences

8.3 Distribution Laws (Dist)

8.4 Three More Laws

8.5 Extra Practice

9. Logic Gates with BOOL 6 Sections

Expand

Chapter Content

0% Complete 0/6 Steps

9.1 Binary Numbers

9.2 Numerical Truth Tables

9.3 Electricity

9.4 BOOLian Logic Gates

9.5 Building a Computer

9.6 Extra Practice

10. Proofs: Informal 4 Sections

Expand

Chapter Content

0% Complete 0/4 Steps

11. Proofs: Formal 6 Sections

Expand

Chapter Content

0% Complete 0/6 Steps

12. Proof by Cases 4 Sections

Expand

Chapter Content

0% Complete 0/4 Steps

12.1 Proof by Cases

12.2 vElim

12.3 Knights and Knaves

12.4 Extra Practice

13. Reductio 5 Sections

Expand

Chapter Content

0% Complete 0/5 Steps

13.1 Reductio ad absurdum

13.2 Contradiction Principle

13.3 #Intro and #Elim

13.4 ~Intro

13.5 Extra Practice

14. Formal Proof Bootcamp 7 Sections

Expand

Chapter Content

0% Complete 0/7 Steps

14.1 Know the Basics

14.2 Master Plan: The Main Connective

14.3 Premises ≠ Conclusions

14.4 Know Your Premises

14.5 Know Your Conclusions

14.6 When All Else Fails: Reductio!

14.7 Extra Practice

15. I ♥ Formal Proofs, BOOL 6 Sections

Expand

Chapter Content

0% Complete 0/6 Steps

15.1 The 5-Step Plan: ~(PvQ)

15.2 The Indirect Approach: ~(P&Q)

15.3 Advanced Proof by Cases

15.4 Advanced Reductio

15.5 How to Find Shortcuts

15.6 Extra Practice

16. Review for Ch. 1-15 2 Sections

Expand

Chapter Content

0% Complete 0/2 Steps

16.1 Terminology Review

16.2 Review Problems

17. PROP and Conditionals 5 Sections

Expand

Chapter Content

0% Complete 0/5 Steps

17.1 The Conditional: →

17.2 The Biconditional: ↔

17.3 Difficult Translations

17.4 Truth Tables for Conditionals

17.5 Extra Practice

18. Proofs with Conditionals 5 Sections

Expand

Chapter Content

0% Complete 0/5 Steps

18.1 Modus Ponens (MP)

18.2 →Elim and ↔Elim

18.3 Conditional Proof

18.4 →Intro and ↔Intro

18.5 Extra Practice

1 of 2