Page 1 of 1

Counter-intuitive formulas?

Posted: Sat Nov 09, 2019 10:17 am
by Speakpigeon
Are there propositional logic formulas, outside self-referential ones, whose validity or invalidity is often perceived as counter-intuitive?
EB

Re: Counter-intuitive formulas?

Posted: Sat Nov 09, 2019 10:38 pm
by Impenitent
number systems are intuitively counters...

-Imp

Re: Counter-intuitive formulas?

Posted: Sat Nov 09, 2019 11:19 pm
by Eodnhoj7
Speakpigeon wrote: Sat Nov 09, 2019 10:17 am 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.

Re: Counter-intuitive formulas?

Posted: Sun Nov 10, 2019 10:48 pm
by wtf
Speakpigeon wrote: Sat Nov 09, 2019 10:17 am Are there propositional logic formulas, outside self-referential ones, whose validity or invalidity is often perceived as counter-intuitive?
EB
https://xkcd.com/179/