In symbolic logic, a valid inference in a system of quantifier rules. An existential claim is“eliminated” by way of a subproof that assumes a name for the claim in question, provided that the name is not already in use. For example, if the claim is “Some dogs are playful,” ∃x(Dog(x) ^ Playful(x)), the assumptive name could be “Walter,” with the resulting assumptive sentence, Dog(walter) ^ Playful(walter). The ensuing subproof involves the derivation of the statement S, which closes the subproof. The statement S has then been proved from that existential quantifier elimination.
Trending Post
Books
- Discipline Is Destiny: The Power of Self-Control (The Stoic Virtues Series) $15.99
- Stillness Is the Key $7.99
- Right Thing, Right Now: Justice in an Unjust World (The Stoic Virtues Series) $28.00
- How to Think Like a Roman Emperor: The Stoic Philosophy of Marcus Aurelius $13.12
- Letters from a Stoic: Penguin Classics $14.52
biographies
- Zeno of Elea December 3, 2023
- Zeno of Citium December 3, 2023
- Xenophanes December 3, 2023
- Wittgenstein, Ludwig December 3, 2023
- Voltaire (François-Marie Arouet) December 3, 2023
- Venn, John December 3, 2023
- Turing, Alan Mathison December 3, 2023
- Thoreau, Henry David December 3, 2023
- Thales of Miletus December 3, 2023
- Spinoza, Baruch December 3, 2023
- Socrates December 3, 2023
- Smith, Adam December 3, 2023
- Seneca December 3, 2023
- Schopenhauer, Arthur December 3, 2023
- Schleiermacher, Friedrich December 3, 2023
Recent Posts
Related Posts
Modern Branches of PhilosophyPhilosophy Branches
PHILOSOPHY OF SCIENCE
Philosophy StudentNovember 14, 2023