Uma proposição é uma afirmação que pode ser julgada como...

Uma proposição é uma afirmação que pode ser julgada como verdadeira (V) ou falsa (F), mas não como ambas. As proposições são simbolizadas por letras maiúsculas do alfabeto, como A, B, C etc., que podem ser conectadas por símbolos lógicos. A expressão A→B é uma proposição lida como "A implica B", ou "A somente se B", ou "A é condição suficiente para B", ou "B é condição necessária para A", entre outras. A valoração de A→B é F quando A é V e B é F, e nos demais casos é V. A expressão ¬A é uma proposição lida como "não A" e tem valoração V quando A é F, e tem valoração F quando A é V. Uma seqüência de 3 proposições da forma A, A→B, B constitui um argumento válido porque sempre que A e A→B, chamadas premissas, tiverem valorações V, então a valoração de B, chamada conclusão, será obrigatoriamente V. A partir das informações do texto acima, julgue os itens a seguir.

Simbolizando-se adequadamente, é correto concluir que a seqüência formada pelas três proposições abaixo constitui um argumento válido. Premissas:

1. A PETROBRAS patrocinar o Comitê Olímpico Brasileiro (COB) é condição suficiente para que o COB promova maior número de eventos esportivos.

2. O COB promove maior número de eventos esportivos.

Conclusão:

3. A PETROBRAS patrocina o COB.