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