[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 31 KB, 755x708, vt91mjjzrxs01.png [View same] [iqdb] [saucenao] [google]
10411103 No.10411103 [Reply] [Original]

Most profound and effective way to strengthen one's logical mindset?

Is problem-solving based approach to learning logic truly the most effectual?

>> No.10411121

>>10411103

Just play around with it in the same way a kid plays with blocks.
Once it becomes child's play, all following steps will be obvious.

>> No.10411132

>>10411103
stare at this and tell me why it is true
[math]\left(A\implies B\land\lnot B\right)\implies\lnot A[/math]

>> No.10411214

>>10411121
this

and years
let your brain get used to it

>> No.10411279

Write true expressions as Haskell types, find inhabitants for them, use them to find other inhabited types, then reflect.