free diagnosticupgrade

๐Ÿคน๐ŸผFormal Logic II
Key Terms

313 essential vocabulary terms and definitions to know for your Formal Logic II exam

Study Formal Logic II โ†’

Browse All A-Z

#

ยฌ
ล‚ukasiewicz conjunction
ฮฑ-conversion
ฮป
โ†’
โˆ€
โˆ€x (p(x) โ†’ q(x))
โˆ€x p(x)
โˆƒ (Existential Quantifier)
โˆƒx p(x)
โˆƒy q(y)
โˆง
โˆง-introduction
โˆจ
โˆจ-elimination

A

Abstract data types
Active Learning
Advanced driver-assistance systems
Aerospace
Affirming the Consequent
Alan Robinson
Alan Turing
Alfred Tarski
Algebraic Structures
Alonzo Church
Analogical reasoning
Arend Heyting
Argument Form
Arthur Prior
Automated reasoning
Automotive
Axiom K
Axiom T
Axiomatic System

B

Bayesian Linear Regression
Bayesian Logic
Bayesian Networks
Bayesian statistics
Bayesian updating
Belief representation
Bertrand Russell
Bijective Function
Bounded vs. Unbounded Quantifiers
Breadth-first search

C

C.A.R. Hoare
Cantor's Theorem
Cartesian Product
Causal Inference
Church-Rosser Theorem
Classical truth
Combinatorial Explosion
Compactness Theorem
Complementary literals
Complexity theory
Compound proposition
Computation Tree Logic
Conditional probability
Conditional Proof
Conjunction Elimination
Conjunction Introduction
Conjunctive Normal Form
Connection methods
Constraint satisfaction problems
Constructive Dilemma
Constructive logic
Constructive proof
Countable Model
Countable set
Cut-elimination

D

De Morgan's Laws
De re
Decidability
Decision theory
Decision Trees
Decision-making under uncertainty