Uma proposição é uma afirmativa que pode ser avaliada como verdadeira (V) ou falsa (F), mas não ambos. É usual denotar uma proposição com letras maiúsculas: A, B, C. Simbolicamente, A /\ B, A \/ B e ¬A representam proposições compostas cujas leituras são: A e B, A ou B e não A. A proposição A → B tem várias formas de leitura: A implica B, se A então B, A somente se B, A é condição suficiente para B, B é condição necessária para A etc. Desde que as proposições A e B possam ser avaliadas como V ou F, então a proposição A /\ B é V se A e B forem ambas V, caso contrário, é F; a proposição A \/ B é F quando A e B são ambas F, caso contrário, é V; a proposição A → B é F quando A é V e B é F, caso contrário, é V; e, finalmente, a proposição ¬A é V quando A é F, e é F quando A é V.
Uma argumentação é uma sequência finita de k proposições (que podem estar enumeradas) em que as (k - 1) primeiras proposições ou são premissas (hipóteses) ou são colocadas na argumentação por alguma regra de dedução. A k-ésima proposição é a conclusão da argumentação.
Sendo P, Q e R proposições, considere como regras de dedução as seguintes: se P e P → Q estão presentes em uma argumentação, então pode ser colocada na argumentação; se P → Q e Q → R estão presentes em uma argumentação, então P → R pode ser colocada na argumentação; se P /\ Q está presente em uma argumentação, então tanto P quanto Q podem ser colocadas na argumentação.
Duas proposições são equivalentes quando tiverem as mesmas avaliações V ou F. Portanto, sempre podem ser colocadas em uma argumentação como uma forma de "reescrever" alguma proposição já presente na argumentação. São equivalentes, por exemplo, as proposições A → B ¬B → ¬A e A V B. Uma argumentação é válida sempre que, a partir das premissas que são avaliadas como V, obtém-se (pelo uso das regras de dedução ou por equivalência) uma conclusão que é também avaliada como V.
Com base nas informações do texto I, julgue o item que se segue.
A sequência de proposições abaixo não é uma argumentação válida.
1. Se Filomena levou a escultura ou Silva mentiu, então um crime foi cometido.
2. Silva não estava em casa.
3. Se um crime foi cometido, então Silva estava em casa.
4. Filomena não levou a escultura.