julesh on Nostr: nprofile1q…aral2 Fun fact, since negation is strictly involutive (p and not-not-p ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr6yt3p8p6sr80hw5k2s5apxuwjvnpvmjwhdwysupxh5j259kd0equaral2 (nprofile…ral2) Fun fact, since negation is strictly involutive (p and not-not-p are different names for the same proposition), proof of negation and proof by contradiction are actually different names for the same logical rule, they only differ by a relabelling