#<math>\mathbb{I}(Pt)=1</math> si y solo si <math>\mathbb{I}(t)\in\mathbb{I}(P)</math>  y  <math>\mathbb{I}(Rtu)=1</math> si y solo si <math>\langle\mathbb{I}(t), \mathbb{I}(u)\rangle\in\mathbb{I}(R)</math>
#<math>\mathbb{I}(t\approx u)=1</math> si y solo si <math>\mathbb{I}(t)=\mathbb{I}(u)</math>.
#<math>\mathbb{I}(A\land B)= 1</math>  si y solo si  <math>\mathbb{I}(A)=1</math>  y  <math>\mathbb{I}(B)=1</math>
#<math>\mathbb{I}(A\lor B)= 1</math>  si y solo si  <math>\mathbb{I}(A)=1</math>  o  <math>\mathbb{I}(B)=1</math>
#<math>\mathbb{I}(A\supset B)= 1</math>  si y solo si  <math>\mathbb{I}(A)=0</math>  o  <math>\mathbb{I}(B)=1</math>
#<math>\mathbb{I}(\forall x A)=1</math>  ssi  <math>\mathbb{I}^{\dagger}(A)=1</math>  para todo  <math>x</math>-variante <math>\mathbb{I}^{\dagger}</math> de <math>\mathbb{I}</math>
#<math>\mathbb{I}(\exists x A)=1</math>  ssi  <math>\mathbb{I}^{\dagger}(A)=1</math>  para al menos un  <math>x</math>-variante <math>\mathbb{I}^{\dagger}</math> de <math>\mathbb{I}</math>