The word "truth" comes from the Old English word "triewþ," meaning "loyalty" or "faithfulness." It highlights the connection between truth and trustworthiness.
elaborate
Modal logic, despite its abstract nature, has practical applications in computer science, specifically in the verification of computer programs and the design of knowledge representation systems.
elaborate