online English dictionary

A

• abstract
• accident
• affirmative
• apagoge
• a posteriori
• assumption
• axiom
• abduction
• algebra
• AND
• axiom
• a priori

B

• Boolean
• Boolean algebra

C

• classical logic
• combinatory logic
• complement
• complete inference system
• complete theory
• Conjunctive Normal Form
• converse

D

• demonstration
• demonstration
• determinant
• determine
• dichotomy
• difference
• disparate
• distributive
• divide
• definite clause

• definite sentence
• DeMorgan's theorem

E

• equipollent
• equational logic
• exclusive or

F

• figure
• first-order logic

G

• give

H

• Horn clause

I

• illative
• induce
• intention
• iff
• implies
• induction
• inference
• inference rule
• intuitionistic logic
• intuitionistic probability

J

K

L

• limit
• Lambada-Calculus
• lemma
• logical complement

M

• material
• minor
• mode
• modal logic
• most general unifier

N

• natural deduction
• neutrosophic logic
• neutrosophic probability

• neutrosophic set
• NOT

O

• opposition
• OR

P

• particular
• polytomy
• premise
• paraconsistent probability
• paradox
• predicate logic
• proof theory
• proposition
• propositional logic

Q

• quantifier

R

S

• sphere
• stoichiology
• subcontrary
• sentence
• SLD resolution
• symbolic logic

T

• term
• thesis
• tautological probability
• tautological set
• tautology
• temporal logic
• truth table
• two-valued logic

U

• universal
• Universal algebra

V

W

X

Y

Z