IF statements in natural language describe causal paths within the domain. In logic they conditionally insulate regions from the domain.
Replying to @vakibs
it explains why the statement "if the king is a cat then the moon is a duck" is true in logic but not in natural language
5:52 AM - 2 Feb 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.