Proposições são frases que podem ser julgadas como verdadeiras — V — ou falsas — F —, mas não como V e F simultaneamente. As proposições simples são aquelas que não contêm nenhuma outra proposição como parte delas. As proposições compostas são construídas a partir de outras proposições, usando-se símbolos lógicos, parênteses e colchetes para que se evitem ambiguidades. As proposições são usualmente simbolizadas por letras maiúsculas do alfabeto: A, B, C etc. Uma proposição composta da forma AwB, chamada disjunção, deve ser lida como “A ou B” e tem o valor lógico F, se A e B são F, e V, nos demais casos. Uma proposição composta da forma AvB, chamada conjunção, deve ser lida como “A e B” e tem valor lógico V, se A e B são V, e F, nos demais casos. Além disso, ¬A, que simboliza a negação da proposição A, é V, se A for F, e F, se A for V.

Considere que cada pessoa cujo nome está indicado na tabela abaixo exerça apenas uma profissão. Se a célula que é o cruzamento de uma linha com uma coluna apresenta o valor V, então a pessoa correspondente àquela linha exerce a profissão correspondente àquela coluna; se o valor for F, então a pessoa correspondente à linha não exerce a profissão correspondente àquela coluna. Assim, de acordo com a tabela, Júlio é administrador, Flávio não é contador nem Mário é técnico de informática.

Considerando as informações e a tabela apresentadas acima, é correto afirmar que a proposição