Lógica :Implicación formal

Implicación formal.  : Dadas  P(x) y  Q(x) , diremos que P(x) implica formalmente a Q(x) si no puede que 

P(x) sea verdadera y Q(x) sea falsa

Es decir  :   P(x) ⇒ Q(x) ( formal) si  P(x) ⇒Q(x) 

Ejemplo : P(x) = ( x = 4 )    ^   Q(x ) = ( x = 2 )

la implicación  P(x)  ⇒Q(x), es formal ya que no puede ser que un numero sea múltiplo de 4  y  no sea múltiplo de 2 , todo múltiplo de 4 es múltiplo de 2.
En cambio Q(x) ⇒) P(x) , no es formal , ya que hay números como 6 , por ejemplo , que es múltiplo de 2 y no es múltiplo de 4.