en la que P y M son términos variables. Es decir, P y M puede ser reemplazados por términos que describen objetos particulares. Por ejemplo.</p>
<p class="letra">Toda ballena es mamífero.</p>
<p class="quitar-arriba">26.- La forma más popular de lógica con variables, sin embargo, es ahora la lógica de predicados, propuesta hace 2 siglos por Frege. Es muy popular en Computación, al punto es existen sistemas capaces de ejecutarla. Por ejemplo, con esta forma:</p>
<p class="letra">hij_(jesus, jose)</