Are there propositional logic formulas, outside self-referential ones, whose validity or invalidity is often perceived as counter-intuitive?
EB
Counter-intuitive formulas?
- Speakpigeon
- Posts: 987
- Joined: Sat Nov 11, 2017 3:20 pm
- Location: Paris, France, EU
-
- Posts: 4369
- Joined: Wed Feb 10, 2010 2:04 pm
Re: Counter-intuitive formulas?
number systems are intuitively counters...
-Imp
-Imp
Re: Counter-intuitive formulas?
This would require a strict assertion where one logical formula is dependent upon another, yet neither are connected.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
Re: Counter-intuitive formulas?
https://xkcd.com/179/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