an introduction to formal logic

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

Decks in this class (18)

Basic Argument Forms
No deck description has yet been added by the author.
16  cards
TRUTH TABLES
No deck description has yet been added by the author.
8  cards
2. Validity and soundness
No deck description has yet been added by the author.
12  cards
3. Forms of inference
No deck description has yet been added by the author.
7  cards
4. Proofs
No deck description has yet been added by the author.
6  cards
5. The Counterexample Method
No deck description has yet been added by the author.
6  cards
6. Logical Validity
No deck description has yet been added by the author.
8  cards
8. Three connectives
No deck description has yet been added by the author.
8  cards
9. PL syntax
No deck description has yet been added by the author.
7  cards
10. PL Semantics
No deck description has yet been added by the author.
6  cards
12. Truth Functions
No deck description has yet been added by the author.
8  cards
13. Expressive Adequacy
No deck description has yet been added by the author.
11  cards
14. Tautologies
No deck description has yet been added by the author.
8  cards
15 – 16. Tautological Entailment
No deck description has yet been added by the author.
9  cards
17. Explosion and Absurdity
No deck description has yet been added by the author.
6  cards
18. The Truth-Functional Conditional
No deck description has yet been added by the author.
0  cards
20 – 22. PL Proofs
No deck description has yet been added by the author.
15  cards
23. PL Proofs: Theorems
No deck description has yet been added by the author.
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.

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?

Introduction to Logic
  • 1 decks
  • 20 flashcards
  • 1 learners
Decks: Study Guide Chapter 2, And more!
Introductory Formal Logic
  • 1 decks
  • 16 flashcards
  • 1 learners
Decks: Unit 3, And more!
Formal Logic (LSAT)
  • 2 decks
  • 39 flashcards
  • 3 learners
Decks: Formal Logic, Stimulus To Premises, And more!
Make Flashcards