A es suficiente para que B sea verdadero es lógicamente equivalente a A implica B.
A es necesario para que B sea verdadero es lógicamente equivalente a B implica A.
Tablas de verdad:
- ¿Cuál es la transformada de Laplace de t ^ 2 e ^ -t sint?
- ¿Es un grupo abeliano finito donde cada elemento no trivial es de orden 2 isomorfo a Z_2 ^ n para algún n?
- ¿Alguien puede ayudarme a comprender esta parte de la prueba de Kolmogorovs del Teorema de Cantor-Bernstein?
- ¿Cuál es el significado del análisis no estándar?
- ¿Qué propiedades útiles tienen los gráficos planos?
A es suficiente para B:
A verdadero, B verdadero, A es suficiente para B es verdadero
A verdadero, B falso, A es suficiente para B es falso
A falso, B verdadero, A es suficiente para B es verdadero
A falso, B falso, A es suficiente para que B sea verdadero.
A es necesario para B:
A verdadero, B verdadero, A es necesario para B es verdadero
A verdadero, B falso, A es necesario para B es verdadero
A falso, B verdadero, A es necesario para B es falso
A falso, B falso, A es necesario para B es verdadero.
Decir que A es suficiente y necesario para que B sea verdadero es equivalente a decir que A es equivalente a B.