No.49 Referenced from ~ Part2 - Chapter 2 - Hard study 5-3-1

The World of Intuitionistic Logic in "Proof Table"

Let's swap the second and third columns of the "Proof Table ￢P".

Here the worldview of intuitionistic logic is clearly presented.

In the α period of knowledge history 01, a situation is set in which neither P nor ￢P is proven. In classical logic, the truth-value of ￢P is determined by P. That is, ￢P is subordinate to P.

In the world of intuitionistic logic, however, the way ￢P is independent of P. There are three possible combinations of proof-values ​​for two propositions, P and ￢P, and a world is being considered based on these combinations.