Discover published sets by community

Algorithm Complexity Classes

Basic Logical Connectives

Classification of Statements

Cognitive Biases and Logic

Categorical Syllogisms

Computational Models

Deductive Reasoning Patterns

Formal Proof Elements

Fundamentals of First-Order Logic

Fundamental Logical Axioms

Historic Logical Arguments

Informal Fallacies

Logic Puzzles and Their Abstract Representation

Logical Theorems

Naming and Identifying Logical Symbols

Modal Logic Basics

Philosophical Logic Fundamentals

Propositional Logic Symbols

Propositional Equivalences

Quantifiers in Predicate Logic

Types of Proof

Uncertainty and Probability in Logic

Truth Tables for Logical Operators

Rules of Inference

Set Theory Notation

Symbolic Argument Forms