Discover published sets by community

Algorithm Complexity Classes

Categorical Syllogisms

Basic Logical Connectives

Classification of Statements

Cognitive Biases and Logic

Computational Models

Deductive Reasoning Patterns

Formal Proof Elements

Fundamentals of First-Order Logic

Fundamental Logical Axioms

Historic Logical Arguments

Informal Fallacies

Logical Theorems

Logic Puzzles and Their Abstract Representation

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