Erasure (logic)

Erasure (logic)

In mathematical logic, a logical system has the erasure property if and only if no subset of the propositions can be added to another subset of the propositions to refute a consequence.

For instance, if proposition A means "the store is open from 8:00 to 22:00" and proposition B means "except Tuesdays", the system AB does NOT have erasure.

See also

* Monotonic logic in “mathematical logic”
* [http://plato.stanford.edu/entries/peirce-logic/ Peirce's Logic] at the "Stanford Encyclopedia of Philosophy"


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Erasure (disambiguation) — Erasure is an English pop group formed during the mid 1980s.Erasure may also refer to:* Erasure (logic), a property of logical systems * Erasure code * Erasure poetryee also* Eraser (disambiguation) …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • Comparison of C Sharp and Java — The correct title of this article is Comparison of C# and Java. The substitution or omission of the # sign is because of technical restrictions. Programming language comparisons General comparison Basic syntax Basic instructions …   Wikipedia

  • Information theory — Not to be confused with Information science. Information theory is a branch of applied mathematics and electrical engineering involving the quantification of information. Information theory was developed by Claude E. Shannon to find fundamental… …   Wikipedia

  • Deconstruction — For the approach to post modern architecture, see Deconstructivism; for other uses, see Deconstruction (disambiguation). Deconstruction is a term introduced by French philosopher Jacques Derrida in his 1967 book Of Grammatology. Although he… …   Wikipedia

  • Flash memory — Computer memory types Volatile RAM DRAM (e.g., DDR SDRAM) SRAM In development T RAM Z RAM TTRAM Historical Delay line memory Selectron tube Williams tube Non volatile …   Wikipedia

  • other + otherness —    by Ashley Woodward   The Other and otherness are themes which derive in large part from the philosophy of Hegel, which was popularised in France by Alexandre Kojève s 1933 9 lectures, and from phenomenology, introduced into France by Emmanuel… …   The Baudrillard dictionary

  • Existential Graphs — (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine eigene graphische… …   Deutsch Wikipedia

  • Gráficos existenciales — Se denomina Gráficos existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles Sanders Peirce. El sistema comprende tanto una notación gráfica original de proposiciones… …   Wikipedia Español

  • Criticism of Java — A number of criticisms have been leveled at Java programming language for various design choices in the language and platform. Such criticisms include the implementation of generics, the handling of unsigned numbers, the implementation of… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”