siguiente anterior arriba atrasadelante (solo si previamente se ha ido atras)

3.4. Implicación y equivalencia

La noción de implicación lógica es esencial para formalizar los razonamientos deductivos. Y la de equivalencia permite hacer transformaciones sintácticas de las sentencias sin perder su semántica.


  3.4.1 Implicación
  3.4.2 Equivalencia
  3.4.3 Modelos en las implicaciones y las equivalencias

siguiente anterior arriba atrasadelante (sólo si previamente se ha ido atras)
algunos derechos reservados DIT-ETSIT-UPM
Portada