Considere a seguinte afirmação: Todo homem é bípede e mamífero.
A alternativa que apresenta uma negação lógica para essa afirmação é:
De um argumento válido com duas premissas, conclui-se corretamente que Alexandre não é casado com Carla. Uma das premissas desse argumento afirma como verdadeiro que Alexandre é casado com Carla se, e somente se, Maria é irmã de Carla. Sendo assim, uma segunda premissa verdadeira para esse argumento é