| |
| | Propositional Logic [Internet Encyclopedia of Philosophy] |
 | | In this usage, the English sentence, "It is raining", and the French sentence "Il pleut", would be considered to express the same proposition; similarly, the two English sentences, "Callisto orbits Jupiter" and "Jupiter is orbitted by Callisto" would also be considered to express the same proposition. |
| | In 1917, French logician Jean Nicod discovered that an axiomatization for propositional logic using the Sheffer stroke involving only a single axiom schema and single inference rule was possible. |
| | Strictly speaking, rules of replacement differ from inference rules, because, in a sense, when a rule of replacement is used, one is not inferring something new but merely stating what amounts to the same thing using a different combination of symbols. |
| www.iep.utm.edu /p/prop-log.htm (8796 words) |
|
