The truth was first defined in the engagement as something proven again and again, and it would still be true. Useful in discovering how cells react. How the moon orbits the earth, and that people (all people) want a few of the same things.
This aspect of truth sprouts a computer in which I know use. On this computer is a program called Excel. Within Excel, I have the ability to declare something as true. Cell 1A or A1 is equal to the word "Bee". It is clear to you, and me that this "Bee" does not pollinate flowers. But for excel it will (until I change it) be a "Bee".
Knowing that a cell is equal to something, in this case, the word "Bee" I can do other things. If cell A1 is "Bee", then I can tell Excel that cell B2 should be "Flower." Once I execute this command, Excel begins its work comparing my command of A1 = "Bee", to what it believes is in cell A1. I can see that it is True, but if Excel did not have a Graphical User Interface, I would not have. Thus, Excel checks its own logs. And does not rely on me to declare whether something is True, in an enlightenment sense.
With the command executed, Excel becomes my executrix placing the word "Flower" in B2. Marvelous I say to the unflinching computer. It has done its job well, even if it seems it has done nothing at all.
This has to expressed in clear mathematical terms. It is not ambiguous it is a language spoken to the computer. We are speaking to it. It's a careful subset of words that needs to be explained as such.
Understanding what can be said to it makes sense. At this point, I am learning the ABCs of it. The first few letters in the alphabet for Excel are logical operators. Expressed in this table from Exceljet.
This is not the end of Excel. A first step in the right direction. If you enjoyed this, consider signing up for my email list. It will never be bad and only takes a few moments to read. Unsubscribe whenever you like.
-Greg