As proposições p-q e q-p são chamadas:

lógica proposicional

Primeiramente, temos que a lógica se caracteriza como sendo um sistema formal, no qual as fórmulas representam algumas proposições que são formadas a partir de uma combinação necessária de proposições que usam conectivos lógicos e um determinado sistema com regras de derivação, as quais permitem que as fórmulas sejam estabelecidas como se fossem teoremas do sistema formal.

Logo, podemos inferir que as proposições p-q e q-p são denominadas de de implicação ou condicional, em que é traduzida para a seguinte forma “se p, então q” no primeiro caso; no segundo caso, teremos “Se q, então p”; poderia também ser representada, par ao primeiro caso, “A partir de p inferimos q” e no segundo caso, “A partir de q inferimos p”.