Documentos de Académico
Documentos de Profesional
Documentos de Cultura
A B
A continuación tiene un listado de las explicitaciones verbales del implicador lógico, donde A y B son símbolos
de cualquier proposición:
1. A si y sólo si B, 8. cuando y sólo cuando A luego B,
2. A siempre y cuando B, 9. siempre que A y siempre que B,
3. A se define lógicamente como B, 10. si solamente A entonces únicamente B,
4. A por lo cual y según lo cual B, 11. sólo y solamente siempre que A entonces
5. A siempre que y sólo cuando B, B,
6. si y sólo si A, entonces B, 12. cuando y cada vez que A así se da B,
7. A implica y está implicado por B,