Könnte ich sagen: || , ich bekenne mich zu p ⊃ p als einer Tautologie?
     

152