stylistic:style_transfer
When "if" means "if and only if"

In their Artificial Intelligence: A Modern Approach, Russell and Norvig note (page 282), in effect, that it is often more natural to express if and only if as if together with a "database (or logic programming) semantics". They give the example of the English sentence "Richard has two brothers, Geoffrey and John".

In a database or logic program, this could be represented simply by two sentences:

The database semantics interprets the database (or program) as containing all and only the knowledge relevant for problem solving in a given domain. It interprets only if as expressing in the metalanguage that the sentences in the database represent the only knowledge that should be considered when drawing conclusions from the database.

In first-order logic (FOL) with the standard semantics, the same English sentence would need to be represented, using if and only if, with only if interpreted in the object language, in some such form as:

Compared with the standard semantics for FOL, the database semantics has a more efficient implementation. Instead of reasoning with sentences of the form:

it uses sentences of the form:

to reason forwards from conditions to conclusions or backwards from conclusions to conditions.

The database semantics is analogous to the legal principle expressio unius est exclusio alterius (the express mention of one thing excludes all others). Moreover, it underpins the application of logic programming to the representation of legal texts and legal reasoning.