Oración 1: sean ϕ, ψ fórmulas con variables libres x1, � � �, xn de tipos X1, � � �, Xn y JϕK, JψK sus interpretaciones, entonces la interpretación de la fórmula ϕ� ψ es el subobjeto JϕK� JψK de X1 � � � � �Xn
Oración 2: la interpretación de � ϕ es � JϕK
Conector: en particular,
Relación: entailment
Género: books