Uma dedução é uma seqüência finita de proposições, em que...

Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir.

Admitindo-se que as proposições funcionais Nenhuma mulher é piloto de fórmula 1 e Alguma mulher é presidente sejam ambas V, então é correto concluir que a proposição funcional Existe presidente que não é piloto de fórmula 1 tem valoração V.