| Some Useful Commands in TPS (2008) | |||||||||||||
Abstract | |||||||||||||
| [ ∼ A] means “A is not true”; [A ∧ B] means “A and B”; [A ∨ B] means “A or B”; [A ⊃ B] means “A implies B”; [A ≡ B] means “A if and only if B”; When the relative scopes of several connectives of different kinds must be determined, ∼ is to be given the smallest possible scope, then ∧ the next smallest possible scope except for ∼, then ∨, then ⊃, then ≡. Bracket and Parenthesis Conventions Outermost brackets and parentheses may be omitted. Use the convention of association to the left for brackets and parentheses. Thus αβγ stands for ((αβ)γ). A dot stands for a left bracket, whose mate is as far to the right as is possible without altering the pairing of left and right brackets already present. | |||||||||||||
Details der Publikation | |||||||||||||
| |||||||||||||