jueves, 6 de octubre de 2011

Lógica : Implicaciones asociadas

Implicaciones asociadas : dada la implicación  pq  llamada directa se asocian a ella las siguientes implicaciones :  
                      pq  ( directa )
                      q ( recíproca )
                     -p-q  ( contraria )
                     -q ⇒- ( contrarrecíproca )


Dada la siguiente implicación , escribir las asociadas :



               Directa      :     x ϵ Z :  (  x = 2 ) ⇒  ( x <3 )
               Recíproca :    x ϵ Z :  ( x < 3  ) ⇒  ( x = 2 )
              Contraria  :     x ϵ Z :  (x ≠ 2)  ⇒ ( x ≮3  ) 
Contrarrecíproca :     x ϵ Z :   ( x ≮ 3 )  ⇒ ( x ≠2 )


Ejemplo , dada la siguiente implicación considerada como directa, las asociadas son :

a)Si no salgo , estudio                                  Directa   
b)Si estudio , no salgo                                 Recíproca
c)Si salgo, no estudio                                   Contraria
d)Si no estudio , salgo                                 Contrarrecíproca


 

1 comentario: