Dadas as sentenças A e B da lógica de primeira ordem, onde A é a sentença  e B é a sentença , tem-se que