Introducing 

Prezi AI.

Your new presentation assistant.

Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.

Loading…
Transcript

Predicate Logic

Chapter 8

Introduction to

Symbolic Logic

8.3 Change of Quantifier Rule

8.2 Using the Rules of Inference

8.1 Symbols & Translation

8.5 Proving Invalidity: Finite Universe Method

8.4 Conditional & Indirect Proof

Natural Deduction

Chapter

7

7.2 Rules of Implication II

7.1 Rules of Implication I

7.3 Rules of Replacement I

7.4 Rules of Replacement II

7.5 Conditional Proof

7.6 Indirect Proof

Categorical Syllogisms

Chapter 5

5.2 Venn Diagrams

5.3 Rules and Fallacies

5.1 Standard Form, Mood, and Figure

5.6 Enthymemes

5.7 Sorites

Propositional Logic

Chapter 6

6.2 Truth Functions

6.3 Truth Tables for Propositions

6.1 Symbols & Translation

6.5 Indirect Truth Tables

6.4 Truth Tables for Arguments

Categorical Propositions

Chapter 4

4.1 The Components of Categorical Propositions

4.3 Venn Diagrams & The Modern Square of Opposition

4.2 Quantity, Quality, & Distribution

4.5 The Traditional Square of Opposition

4.4 Conversion, Obversion, and Contraposition

4.6 Venn Diagrams and the Traditional Standpoint

Basic Concepts

Chapter

1

1.1 Arguments, Premises, & Conclusions

1.3 Deduction & Induction

1.2 Recognizing Arguments

1.5 Argument Forms: Proving Invalidity

1.4 Truth, Validity, Soundness, Strength, Cogency

1.6 Diagramming Arguments

On the History of Philosophical Logic

add logo here

Learn more about creating dynamic, engaging presentations with Prezi