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.

Uma proposição da forma tem exatamente 8 possíveis valorações V ou F.