Predicate logic is a mathematical framework for representing and manipulating expressions that are true or false: facts and falsehoods.
Logic-Like Features of Programming Languages
T-SQL, like many programming languages, incorporates true-false expressions and logical operators in several places, not all of which are, strictly speaking, related to predicate logic.
A true-false expression is called a Boolean expression (after the logician George Boole). Boolean logic begins with the study of Boolean expressions.
The Keyword IF in Control-of-Flow Statements
Although the focus of this book is on T-SQL’s query language, and SQL’s central ...