Kann man in R Logik beweisen, daß ~100p ≡ p ist? – Nun warum nicht? “~100p” steht
doch nur als Abkürzung statt “~ ~ ~ ~ – – – –p” & man rechnet einfach von 100 bis 1 herunter. Auch, wenn man daran Anstoß nimmt daß sich hundert ‘~’ nicht als
diese Anzahl
solche
erkennen lassen, so kann man ja die Stellen der ‘~’ numerieren & sie dadurch übersehbar machen. –