free diagnosticupgrade

👁️‍🗨️Formal Logic I
Key Terms

199 essential vocabulary terms and definitions to know for your Formal Logic I exam

Study Formal Logic I →

Browse All A-Z

#

¬(r ∨ s)
¬p → q
∀x (p(x) → q(x))
∀x ∃y p(x, y)
∀x∃y p(x, y)
∃x ∀y q(x, y)
∃y (r(y) ∧ s(y))
∃y∀x
∃y∀x p(x, y)
⊢

A

A form
Ad hominem
Ad hominem fallacy
Ad populum fallacy
Affirmative proposition
Affirming the Consequent
Alan Turing
Alfred Tarski
Anchoring Bias
Arbitrary constants
Argument analysis
Argument form
Argument Mapping
Argument Structure
Aristotle
Attributive use
Axioms

B

Backward reasoning
Bandwagon fallacy
Begging the Question
Beyond a reasonable doubt
Biconditional Statement
Biconditional Statements
Binary predicate
Boolean algebra
Burden of proof

C

Categorical proposition
Categorical syllogism
Charles Sanders Peirce
Church-Turing Thesis
Circular reasoning
Cognitive Bias
Combining Rules
Complex Argument
Complex Term
Compound Proposition
Compound Sentences
Compound Statements
Computational Equivalence
Conclusion Indicators
Conditional contradiction
Confirmation bias
Confusion between ∀ and ∃
Consistent
Constant Symbol
Constructive Dilemma
Convergent Argument
Converse Barcan Formula
Correctness
Critical Questioning
Critical Thinking
Critique of the Theory of Descriptions

D

David Hilbert
David Hume
Decision theory
Decision tree
Deduction Theorem
Deontological Ethics
Disjunctive Syllogism
Distribution of Quantifiers
Domain of Discourse
Donnellan's Referential-Attributive Distinction
Dual Quantifiers

E

E form
Equality relation