Na análise de um argumento, pode-se evitar considerações subjetivas, por meio da reescrita das proposições envolvidas na linguagem da lógica formal...

Na análise de um argumento, pode-se evitar considerações subjetivas, por meio da reescrita das proposições envolvidas na linguagem da lógica formal. Considere que P, Q, R e S sejam proposições e que 'Λ', 'V', '¬' e '→' sejam os conectores lógicos que representam, respectivamente, 'e', 'ou', 'negação' e o 'conector condicional'. Considere também a proposição a seguir. Q → P, . Assinale a opção que expressa corretamente a proposição acima em linguagem da lógica formal, assumindo que P = 'Q → P', Q = 'Q → P', R = '' e S = ''.

)) P → (Q V R)
)) (P → Q) V R
)) (P V Q) → (R Λ S).
)) P V (Q → (R Λ S)).