Se muestra, primero con ejemplos y luego en general, que las expresiones "P es condición necesaria y suficiente para Q" , " P es equivalente a Q" y "P coimplica Q" significan lo mismo. Se establece con que implicación, ...