17. Operações lógicas com sentenças abertas

É possível efetuar as sentenças abertas de forma análoga à das proposições lógicas, através dos conectivos já apresentados: não, e, ou, se então, se e somente se.

Exemplo 

Observando a condicional (x > 5) → (x > 2), em N, podemos notar que: