|
|
|
|
|
|
by danharaj
2760 days ago
|
|
|
Classical logic is optimized for the verification that no contradiction is made and convenient mathematical manipulation: Boolean algebras are very nice. Unfortunately intuition goes out the window. On the other hand I found intuitionistic implication more... intuitive :) |
|
|