Proposições são frases que podem ser julgadas como verdadeiras — V — ou como falsas — F —, mas não ambas; são freqüentemente simbolizadas por letras maiúsculas do alfabeto. A proposição simbolizada por A → — lida como “se A, então B”, “A é condição suficiente para B”, ou “B é condição necessária para A” — tem valor lógico F quando A é V e B é F; nos demais casos, seu valor lógico é V. A proposição A∧B — lida como “A e B”— tem valor lógico V quando A e B forem V e valor lógico F, nos demais casos. A proposição ¬A, a negação de A, tem valores lógicos contrários aos de A.
Com base nas definições apresentadas acima, julgue o item que se segue.
A proposição "Existem países cujas reservas ultrapassam meio bilhão de dólares" é F quando se considera que o conjunto dos países em questão é {Brasil, Índia, Coréia do Sul, Rússia}.