Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

An Introduction to Formal Logic

This class was created by Brainscape user Thomas Aquino. Visit their profile to learn more about the creator.

By: Thomas Aquino
Start Studying

Decks in this class (18)

Basic Argument Forms
Modus ponens,
Modus tollens,
Hypothetical syllogism
16  cards
TRUTH TABLES
Truth table for,
Truth table for,
Truth table for
8  cards
2. Validity and soundness
Logically possible,
Logical necessity,
Validity thus far
12  cards
3. Forms of inference
Argument form schema,
Schematic variables 2,
Instantiating argument forms schemas
7  cards
4. Proofs
Derivation,
Proof,
Derivation and validity
6  cards
5. The Counterexample Method
Show an argument invalid,
Invalid by definition,
No possible derivation
6  cards
6. Logical Validity
Topic neutral words,
Domain specific words,
Deductive validity
8  cards
8. Three connectives
And,
And non truth conditional 3,
Or
8  cards
9. PL syntax
Syntax,
Well formed formulas,
Parse tree
7  cards
10. PL Semantics
Interpreting atomic propositions ...,
Truth values and valuations,
Determinacy
6  cards
12. Truth Functions
Truth functionality,
Truth functional connectives,
Non truth functional connectives
8  cards
13. Expressive Adequacy
Equivalence revisited 2,
The duality of and,
The laws of de morgan
11  cards
14. Tautologies
Tautologies,
Contradictions,
Law of excluded middle
8  cards
15 – 16. Tautological Entailment
Turn into a mathematical exercise,
Tautological validity 2,
Tautologically invalid
9  cards
17. Explosion and Absurdity
Explosion,
Falsum,
Verum
6  cards
18. The Truth-Functional Conditional
0  cards
20 – 22. PL Proofs
Syntactic validity,
Rules of proof system,
Rules of proof system
15  cards
23. PL Proofs: Theorems
From tautologies to theorems,
Peirce s law p q p p,
The law of excluded middle lem
7  cards

More about
An Introduction to Formal Logic

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Thomas Aquino's An Introduction to Formal Logic flashcards now!

How studying works.

Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.

Learn more about spaced repetition

Add your own flashcards.

Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!

What's Brainscape anyway?

Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.

We use an adaptive study algorithm that is proven to help you learn faster and remember longer....

Looking for something else?

Masterbooks Introduction to Logic
  • 76 decks
  • 3366 flashcards
  • 50 learners
Decks: Chapter 1, Chapter 2 New, Chapter 2 Review, And more!
Formal Logic
  • 7 decks
  • 101 flashcards
  • 25 learners
Decks: Fallacies, Quantifier Restriction, Beginning, And more!
Find Flashcards
Make Flashcards
Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions