All Subjects
Light
collapse
Formal Logic I
Logic and Arguments: An Introduction
Propositional Logic: Symbols and Language
Truth Functions and Truth Tables
Logical Equivalence & Implication
Argument Forms and Fallacies
Natural Deduction in Propositional Logic
Conditional and Indirect Proofs
Predicate Logic: Symbols and Language
Quantifiers and Their Scope
Multiple and Nested Quantifiers
Relations and Identity
Natural Deduction in Predicate Logic
Soundness and Completeness in Logic
Formal Logic: Applications Across Disciplines
Glossary
All Key Terms
Formal Logic I
Browse all Formal Logic I Key Terms
ALL
#
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
#
ยฌ(r โจ s)
ยฌp โ q
โ
โ
โ
โx
โx (p(x) โ q(x))
โx โy p(x, y)
โxโy p(x, y)
โ
โx
โx p(x)
โx โy q(x, y)
โy (r(y) โง s(y))
โyโx
โyโx p(x, y)
โจ
โก
โข
A
A form
Absorption laws
Ad hominem
Ad hominem fallacy
Ad populum fallacy
Addition
Affirmative proposition
Affirming the Consequent
Alan Turing
Alfred Tarski
Algebraic Manipulation
Algebraic Method
Algorithm
All
Ambiguity
Analogy
Anchoring Bias
And
Antecedent
Antisymmetry
Appeal to authority
Appeal to emotion
Arbitrary constants
Argument
Argument analysis
Argument form
Argument from Ignorance
Argument Mapping
Argument Structure
Aristotle
Arity
Associative Laws
Associativity
Assumption
Assumption discharge
Atomic Proposition
Atomic Sentences
Attributive use
Axiomatization
Axioms
B
Backward reasoning
Bandwagon fallacy
Barcan Formula
Begging the Question
Bertrand Russell
Beyond a reasonable doubt
Biconditional
Biconditional Statement
Biconditional Statements
Binary connective
Binary predicate
Binary Relation
Binding
Boolean algebra
Bound Variable
Bound Variables
1
2
3
4
5
6
7
About Us
About Fiveable
Blog
Careers
Testimonials
Code of Conduct
Terms of Use
Privacy Policy
CCPA Privacy Policy
Resources
Cram Mode
AP Score Calculators
Study Guides
Practice Quizzes
Glossary
Crisis Text Line
Request a Feature
Report an Issue
Stay Connected
ยฉ 2024 Fiveable Inc. All rights reserved.
APยฎ and SATยฎ are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.
About Us
About Fiveable
Blog
Careers
Testimonials
Code of Conduct
Terms of Use
Privacy Policy
CCPA Privacy Policy
Resources
Cram Mode
AP Score Calculators
Study Guides
Practice Quizzes
Glossary
Crisis Text Line
Request a Feature
Report an Issue
ยฉ 2024 Fiveable Inc. All rights reserved.
APยฎ and SATยฎ are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.
Back
Practice Quiz
Guides
Glossary
Practice Quiz
Guides
Next