Logical Thinking
Classical logic: https://en.wikipedia.org/wiki/Classical_conditioning
Intuation logic: https://en.wikipedia.org/wiki/Logical_intuition
https://en.wikipedia.org/wiki/Law_of_excluded_middle
https://en.wikipedia.org/wiki/Catu%E1%B9%A3ko%E1%B9%ADi
Programming for solving intuition logical problem
Agda is a dependently typed functional programming language
Type Theory : https://en.wikipedia.org/wiki/Type_theory
Define types for logical expressions