Discover published sets by community

Algorithm Complexity Classes

Basic Logical Connectives

Categorical Syllogisms

Classification of Statements

Cognitive Biases and Logic

Computational Models

Deductive Reasoning Patterns

Formal Proof Elements

Fundamental Logical Axioms

Fundamentals of First-Order Logic

Historic Logical Arguments

Informal Fallacies

Logic Puzzles and Their Abstract Representation

Logical Theorems

Modal Logic Basics

Naming and Identifying Logical Symbols

Philosophical Logic Fundamentals

Propositional Logic Symbols

Propositional Equivalences

Quantifiers in Predicate Logic

Uncertainty and Probability in Logic

Types of Proof

Truth Tables for Logical Operators

Rules of Inference

Set Theory Notation

Symbolic Argument Forms