Philosophical Introduction to Set Theory (Dover Books on Mathematics) by Stephen Pollard
Author:Stephen Pollard [Pollard, Stephen]
Language: eng
Format: azw
Publisher: Dover Publications
Published: 2015-07-20T00:00:00+00:00
The annotation on each line cites the rule of inference we have used to obtain the sentence on that line. It also lists the line numbers of the sentences to which we have applied the rule (if there are any such sentences). The annotation on line 3 says that we obtained â¬âx xâxâ by applying the rule of negation introduction (abbreviated ⬠Iâ) to the sentences on lines 1 and 2. Our derivation has not established the truth of â¬âx xâxââit has established merely that â¬âx xâx is derivable from the sentences on lines 1 and 2. We make a record of this deductive relation by writing â1,2â in the premise number column on line 3. The premise numbers on the first two lines play a somewhat different role: they indicate that the sentences on those lines were merely assumed rather than derived. (Rule A is our rule of assumption.) All of this should make a bit more sense when we have familiarized ourselves with the rules of inference.
Suppose Ï, Ï are formulas, α is a variable, and β,γ are terms in which no variable occurs free.
Rule A (Assumption): Any sentence may appear on a line as long as the premise number on that line is the same as the line number.
Rule ¬ I (Negation Introduction): Â¬Ï may be written on a line n if (Ï â Ï) and (Ï â ¬ Ï) appear on earlier lines m and mâ²; write all the premise numbers from m and mâ² in the premise number column on n.
Rule ¬ E (Negation Elimination): Ï may be written on a line n if ¬ ¬ Ï appears on an earlier line m; write all the premise numbers from m in the premise number column on n.
Rule âI (Conditional Introduction): (Ï â Ï) may be written on a line n if Ï appears on an earlier line m; write all the premise numbers from m in the premise number column on n omitting at most those numbers which represent Ï. (A premise number p is said to represent a sentence Ï if Ï occupies the sentence column on line p.)
Rule âI (Universal Introduction): Suppose β is an individual constant which does not occur in Ï. âÎ±Ï may be written on a line n if Ïα/β appears on an earlier line m and no premise number on m represents a sentence in which β occurs; write all the premise numbers from m in the premise number column on n.
Rule âE (Universal Elimination): Ïα/β may be written on a line n if âÎ±Ï appears on an earlier line m; write all the premise numbers from m in the premise number column on n.
Rule = I (Identity Introduction): β = β may be written on any line; leave the premise number column on that line empty.
Rule =E (Identity Elimination): Suppose Ï is the result of replacing one or more occurrences of β in Ï by occurrences of γ. Ï may be written on a line n if Ï
Download
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Algebra | Calculus |
Combinatorics | Discrete Mathematics |
Finite Mathematics | Fractals |
Functional Analysis | Group Theory |
Logic | Number Theory |
Set Theory |
Modelling of Convective Heat and Mass Transfer in Rotating Flows by Igor V. Shevchuk(6213)
Weapons of Math Destruction by Cathy O'Neil(5795)
Factfulness: Ten Reasons We're Wrong About the World – and Why Things Are Better Than You Think by Hans Rosling(4464)
Descartes' Error by Antonio Damasio(3145)
A Mind For Numbers: How to Excel at Math and Science (Even If You Flunked Algebra) by Barbara Oakley(3087)
Factfulness_Ten Reasons We're Wrong About the World_and Why Things Are Better Than You Think by Hans Rosling(3031)
TCP IP by Todd Lammle(2988)
Applied Predictive Modeling by Max Kuhn & Kjell Johnson(2881)
Fooled by Randomness: The Hidden Role of Chance in Life and in the Markets by Nassim Nicholas Taleb(2839)
The Tyranny of Metrics by Jerry Z. Muller(2823)
The Book of Numbers by Peter Bentley(2750)
The Great Unknown by Marcus du Sautoy(2521)
Once Upon an Algorithm by Martin Erwig(2462)
Easy Algebra Step-by-Step by Sandra Luna McCune(2439)
Lady Luck by Kristen Ashley(2391)
Practical Guide To Principal Component Methods in R (Multivariate Analysis Book 2) by Alboukadel Kassambara(2365)
Police Exams Prep 2018-2019 by Kaplan Test Prep(2337)
All Things Reconsidered by Bill Thompson III(2247)
Linear Time-Invariant Systems, Behaviors and Modules by Ulrich Oberst & Martin Scheicher & Ingrid Scheicher(2216)
