Sabe-se que João estar feliz é condição necessária para Maria sorrir e condição suficiente para
Sabe-se que João estar feliz é condição necessária para Maria sorrir e condição suficiente para Daniela abraçar Paulo. Sabe-se, também, que Daniela abraçar Paulo é condição necessária e suficiente para a Sandra abraçar Sérgio. Assim, quando Sandra não abraça Sérgio,
