Discover published sets by community

Modal Logic Basics

Algorithm Complexity Classes

Naming and Identifying Logical Symbols

Basic Logical Connectives

Philosophical Logic Fundamentals

Categorical Syllogisms

Propositional Equivalences

Propositional Logic Symbols

Classification of Statements

Cognitive Biases and Logic

Quantifiers in Predicate Logic

Computational Models

Rules of Inference

Set Theory Notation

Deductive Reasoning Patterns

Symbolic Argument Forms

Truth Tables for Logical Operators

Types of Proof

Uncertainty and Probability in Logic

Formal Proof Elements

Fundamental Logical Axioms

Fundamentals of First-Order Logic

Historic Logical Arguments

Informal Fallacies

Logic Puzzles and Their Abstract Representation

Logical Theorems