Conectivas Lógicas : La proposición bicondicional (6/9) |
La equivalencia es una proposición compuesta que resulta de conectar dos proposiciones con las palabras “es equivalente”. |
Por ejemplo: Sean las proposiciones p(x): x – 1 = 0 y q(x):x = 1. Entonces la proposición p q: x – 1 = 0 es equivalente a x = 1. también se escribe: “x – 1 = 0 si y sólo si x = 1”. |
La equivalencia es una conectiva lógica p q, que se lee: |
p equivalente con q. P si y sólo si q. p es necesario y suficiente para q. |
La equivalencia es verdadera si ambas proposiciones son verdaderas o falsas, es decir: |
|
Por lo tanto, la equivalencia también se puede expresar: |
|
Entonces la representación con compuertas es la siguiente: |