Intuitionistic logic

Intuitionistic logic is a type of logical system that only deals with what we know to be true, rather than including things that may or may not be true. For example, in a normal logical system, we might say "If I flip a coin, it will be heads or tails." In intuitionistic logic, we would say "I know the coin will be either heads or tails." Intuitionistic logic is often used in mathematics to prove that an idea is true or false.