5˙3133
Es zeigt sich so auch in der neuen Notation, daß „q:p ⌵ ~p” dasselbe sagt wie „q”. Daß „p ⌵ ~p” nichts sagt.