jueves, 6 de octubre de 2011

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.

No hay comentarios:

Publicar un comentario

Ejercicios Combinados de Números Complejos

Realizar los siguientes calcúlos combinados : Z 1 = 3 + 2i   ; Z 2 = -2 - 5i  ; Z 3 = 4 + i   a) Z1 + Z2 - Z3 b) 2.Z1 - 3.Z2 + Z3 ...