Texto para a questão.

A lógica sentencial trata das proposições que podem ser julgadas como verdadeiras (V) ou falsas (F). Suponha que letras maiúsculas do alfabeto (A, B, C etc.) representem proposições básicas. Proposições compostas são formadas a partir de proposições pré-construídas. Assim, as seguintes estruturas são proposições compostas: “A e B” (denotada por A!$ Λ !$ B), que é V se e somente se A é V e B é V; “A ou B” (denotada por A!$ ∨ !$ B), que é F se e somente se A é F e B é F; “não A” (denotada por !$ ¬ !$ A), que é F se A é V, e é V se A é F; “se A então B” (denotada por A !$ \rightarrow !$ B), que é F se e somente se A é V e B é F. Para exemplificar, se A, B e C são proposições, então as formas !$ ¬ !$A!$ ∨ !$B, (A!$ ∨ !$ B)!$ Λ !$C, (!$ ¬ !$A!$ Λ !$!$ ¬ !$ B)!$ ∨ !$C, B !$ \rightarrow !$ (A!$ Λ !$ C) são proposições.

Um argumento válido é uma seqüência de três proposições, básicas ou compostas. Se as duas primeiras proposições dessa seqüência são V, então a terceira proposição, chamada conclusão, também é V. As seqüências

são duas formas de argumento válido.

Simbolize adequadamente as proposições abaixo e identifique a seqüência que tem a forma de um argumento válido.