All Subjects
Light
collapse
Formal Logic II
Propositional Logic: Review and Extensions
First–Order Logic
First-Order Logic: Rules and Proofs
First–Order Theories and Models
First-Order Logic: Equality & Normal Forms
Resolution in First–Order Logic
Automated Theorem Proving
Higher–Order Logic and Lambda Calculus
Modal and Temporal Logics
Non–Classical Logics
Inductive Logic and Probability
Logical Foundations of Math & Computing
Glossary
All Key Terms
Formal Logic II
Browse all Formal Logic II 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
#
¬
łukasiewicz conjunction
α-conversion
β-reduction
λ
→
∀
∀x (p(x) → q(x))
∀x p(x)
∃ (Existential Quantifier)
∃-introduction
∃x p(x)
∃y q(y)
∈
∧
∧-introduction
∨
∨-elimination
∪
≠
⊆
□ (Box Operator)
◇
A
A = a
Abstract data types
Accessibility Relation
Active Learning
Advanced driver-assistance systems
Aerospace
Affirming the Consequent
Alan Robinson
Alan Turing
Alfred Tarski
Algebraic Structures
Algorithmic resolution
Alonzo Church
Alpha conversion
Always
Analogical reasoning
And
Arend Heyting
Argument Form
Arity
Arrow type
Arthur Prior
Asgaard Project
Assertion
Assignment axiom
Assumption
Atomic formula
Atoms
Automated reasoning
Automated theorem proving
Automotive
Axiom
Axiom K
Axiom of Extensionality
Axiom of Regularity
Axiom T
Axiomatic Set Theory
Axiomatic System
Axioms
B
Backward chaining
Bayes' Theorem
Bayesian Inference
Bayesian Linear Regression
Bayesian Logic
Bayesian Networks
Bayesian statistics
Bayesian updating
Belief representation
Bertrand Russell
Beta reduction
BHK interpretation
Bijective Function
1
2
3
4
5
…
9
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