Logic as a Tool

Index

1.  
2. α-rule
3. β-rule
4.  
5. absorption
6. Alan Turing
7. Alfred Tarski
8. algorithm
9. Alonzo Church
10. Anatoly Maltsev
11. antecedent
12. argument
    1. logically correct
    2. propositional
13. Aristotle
14. assignment
    1. falsifying
    2. truth
    3. variable
15. associativity
16. assumption
    1. cancellation
    2. discharge
17. atomic
    1. formula
18. Augustus De Morgan
19. auxiliary symbols
20. axiom
    1. Choice
    2. Empty set
    3. Extensionality
    4. Foundation
    5. Infinity
    6. Pair set
    7. Powerset
    8. Regularity
    9. Replacement
    10. Restricted Comprehension
    11. Separation
    12. Union set
21. Axiom of Choice
22. Axiom schemes
    1. for H
23. axiomatic set theory
    1. Zermelo-Fraenkel
24.  
25. Bertrand Russell
26. biconditional
27. bijection
28. Boolean algebra
29. bound variable
30. branching rule
31.  
32. C.I. Lewis
33. canonical mapping
34. canonical structure
    1. of a theory
35. capture of a variable
36. Cartesian product
37. chain
    1. ascending
       1. strictly
    2. descending
       1. strictly
38. Charles Peirce
39. Chrysippus
40. Church's Undecidability

1. Theorem

1. clausal form
   1. first-order
2. clause
   1. empty
   2. first-order
   3. unit
   4. Horn
3. closed formula
4. closure of a relation
   1. reflexive
   2. symmetric
   3. transitive
5. cluster
6. CNF
   1. first-order
7. co-domain
   1. of a function
8. Commutativity
9. complete mathematical induction

1. principle of

1. complexity class NP
2. conclusion
3. conditional
4. congruence
   1. in a structure
5. conjunction
6. conjunctive normal form (CNF)
   1. first-order
   2. prenex
7. connective
   1. main
8. consequent
9. constant
   1. Skolem
10. construction sequence
    1. of a formula
11. construction tree
12. constructor operation
13. contradictory pair of signed formulae
14. counter-model
15.  
16. Dag Prawitz
17. deductive consequence
    1. in D
    2. compact
18. deductive system
    1. adequate ...