Read Next
disjunction: References & Edit History
More Articles On This Topic
Assorted References
- analysis in Stoic logic
- operators in formal logic
significance in
- automata theory
- concept learning
- conjunctive normal form of propositional calculus
- foundations of mathematics
- semantic tableaux method
Article Contributors
Primary Contributors
Other Encyclopedia Britannica Contributors
Article History
Type | Description | Contributor | Date |
---|---|---|---|
Fixed logic symbols. | Mar 24, 2009 | ||
Article added to new online database. | Jul 20, 1998 |
View Changes:
Article History
Revised:
By: