Category:Logic

• Logic

A

• Abduction (logic)
• Absolute truth
• Analogy
• Arity

C

• Causality
• Connotation
• Consistency proof
• Contraposition
• Critical analysis

D

• Deductive reasoning
• Definite description
• Denotation
• Description
• Dilemma
• Direct proof

E

• Evil
• Exclusive disjunction
• Existence quantifier

F

• False
• First order logic
• Framework

G

• Gödel's incompleteness theorems

H

• Horn clause

I

• If and only if
• Implication (logic)
• Inclusive disjunction
• Independence (mathematical logic)
• Inductive reasoning
• Inference
• INUS condition

L

• Law of noncontradiction
• Law of the excluded middle
• Logic equality
• Logic programming
• Logical conjunction
• Logical equivalence
• Logical negation
• Logical quantifier

M

• Metalogic

N

• Natural deduction
• Necessary and sufficient conditions

O

• Oxymoron

P

• Persuasive text
• Premise
• Proposition
• Propositional logic

R

• Relevance
• Riddle

S

• Syllogism

T

• Tautology (logic)
• Truth
• Truth value

U

• Universal quantifier

V

• Validity