Considere como V as proposições “Carla é mais alta que Janice” e “Janice foi escolhida para o time de basquete”. Nesse caso, a proposição “Se Carla não é mais alta que Janice, então Janice não foi escolhida para o time de basquete” também será V.