

Equivalencia lógica
En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo contenido lógico. Este es un concepto semántico, dos afirmaciones son equivalentes si tienen el mismo valor de verdad en todos los modelos (Mendelson 1979:56). La equivalencia lógica de p y q algunas veces se expresa como p ≡ q {\displaystyle p\equiv q} , Epq, o p ⇔ q {\displaystyle p\Leftrightarrow q} que
Leer en Wikipedia · Imagen Public domain
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis