Se muestra, primero con ejemplos y luego en general, que las expresiones "P si solo si Q" , " P es equivalente a Q" y "P coimplica Q" significan lo mismo. Se establece con que implicación, P--> Q o Q-->P , se corresponde ...