Category:Definitions/Logic

From ProofWiki

Jump to navigation Jump to search

This category contains definitions related to Logic.
Related results can be found in Category:Logic.

Logic is the study of the structure of statements and their truth values, divorced from their conceptual content.

It has frequently been defined as the science of reasoning.

Subcategories

This category has the following 40 subcategories, out of 40 total.

A

Definitions/Algebraic Logic‎ (1 P)
Definitions/Aristotelian Logic‎ (1 C, 1 P)
Definitions/Axioms‎ (1 C, 10 P)

C

Definitions/Classical Logic‎ (2 C, 1 P)

D

E

Definitions/Entailment‎ (2 P)
Definitions/Existential Import‎ (1 P)

F

Definitions/Fallacies‎ (3 C, 5 P)

H

Definitions/Hypotheses‎ (6 P)

I

L

Definitions/Logical Arguments‎ (7 C, 12 P)
Definitions/Logical Connectives‎ (23 P)
Definitions/Logical Equivalence‎ (6 P)
Definitions/Logical Forms‎ (3 C, 4 P)
Definitions/Logical Implication‎ (6 P)

M

Definitions/Main Connective‎ (7 P)
Definitions/Mathematical Logic‎ (18 C, 33 P)
Definitions/Modal Logic‎ (4 C, 5 P)
Definitions/Multi-Value Logic‎ (1 C, 2 P)

N

Definitions/Natural Language‎ (5 P)

P

Definitions/Paradoxes‎ (1 C, 5 P)
Definitions/Predicate Logic‎ (8 C, 115 P)
Definitions/Premises‎ (4 P)
Definitions/Proofs‎ (3 P)
Definitions/Propositional Logic‎ (21 C, 90 P)
Definitions/Propositions‎ (2 P)

S

Definitions/Scope‎ (5 P)
Definitions/Statements‎ (2 C, 6 P)
Definitions/Switching Circuits‎ (1 P)
Definitions/Symbolic Logic‎ (12 C, 29 P)

T

U

Definitions/Universe of Discourse‎ (4 P)

Pages in category "Definitions/Logic"

The following 121 pages are in this category, out of 121 total.

A

B

C

D

E

F

H

Definition:Hypothesis

I

J

L

M

N

P

S

T

U

V

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Definitions/Logic&oldid=493189"

Definitions/Branches of Mathematics