formal logic

Example Sentences

Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.

Their method, which is based on the formal logic used by mathematicians and philosophers, captures the choices faced by a hacker who has access to the mobile phone and the PIN.

From Science Daily • Jan. 22, 2024

Pinker’s main focus is the sort of conscious, sequential reasoning that can track the steps in a geometric proof or an argument in formal logic.

From Washington Post • Oct. 7, 2021

But a granular knowledge of formal logic isn’t essential for anyone’s enjoyment of this moving new biography.

From New York Times • Jun. 10, 2021

Two years later, I got Robot Odyssey, which promised to expand on by extending the formal logic to actual programming.

From Slate • Jan. 24, 2014

In formal logic and in mathematics, proof is something absolute.

From "Words Like Loaded Pistols" by Sam Leith