Counter-intuitive formulas?

[Speakpigeon]

Are there propositional logic formulas, outside self-referential ones, whose validity or invalidity is often perceived as counter-intuitive?
EB

[Impenitent]

number systems are intuitively counters...

-Imp

[Eodnhoj7]

Are there propositional logic formulas, outside self-referential ones, whose validity or invalidity is often perceived as counter-intuitive?
EB

This would require a strict assertion where one logical formula is dependent upon another, yet neither are connected.

[wtf]

Are there propositional logic formulas, outside self-referential ones, whose validity or invalidity is often perceived as counter-intuitive?
EB

https://xkcd.com/179/