All Subjects
Light
collapse
Mathematical Logic
Mathematical Logic: Propositional Foundations
Truth Tables and Logical Connectives
Formal Proofs in Propositional Logic
First–Order Logic (Predicate Logic)
Formal Proofs in First–Order Logic
Set Theory
Relations and Functions
Cardinality and Transfinite Numbers
Axiom of Choice and Its Consequences
Model Theory and Applications
Gödel's Completeness Theorem
Gödel's First Incompleteness Theorem
Gödel's Second Incompleteness Theorem
Computability Theory & Turing Machines
Decidability and Undecidability
Limits of Algorithmic Problem–Solving
Glossary
All Key Terms
Mathematical Logic
Browse all Mathematical Logic 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
#
$a r a$
$a r b$ for symmetry
(p or q) not r
(p → q) ↔ (¬q → ¬p)
(p ∧ q) ↔ (q ∧ p)
¬
¬p → q
Łoś-Tarski Theorem
ω
ℵ₀
→
↔
⇔
∀
∀x (p(x) → q(x))
∀x p(x)
∃
∃y (q(y) ∧ r(y))
∃y q(y)
∅
∧
∨
⊢
⊨
3-SAT
A
A - b
A × b
A ∩ b
A ∪ b
A'
Absolute truth
Absorption Laws
Abstract Interpretation
Ackermann function
Addition
Adjacency matrix
Alan Turing
Aleph null
Aleph-null
Alfred Tarski
Algebraic Methods
Algebraic structure
Algebraically Closed Fields
Algorithm
Algorithm design
Algorithm efficiency
Algorithmic
Algorithmic bias
Algorithmic processes
Algorithmic unsolvability
Alonzo Church
Analog computation
And
Antisymmetric property
Application in Topology
Approximation algorithm
Approximation algorithms
Approximation ratio
Argument
Arithmetization
Arity
Artificial intelligence
Associative properties
Associative property
Associativity
Asymmetry in Power Set Behavior
Asymptotic analysis
Atomic Formula
Atomic formulas
Atomic Proposition
Automata-theoretic approach
Automated theorem proving
Automorphism
Autonomous vehicles
Autonomous weapons
1
2
3
4
5
…
12
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