Question

considere falsa a afirmação Renato e inocente e Raquel e culpada e verdadeira a afirmação se renato e inocente então raquel e culpada. Nessas condições e correto afirmar que necessariamente

Answer 1

Vamos formalizar essas proposições na lógica para derivarmos conclusões delas pelas regras lógicas.

p: "Renato é inocente", q: "Raquel é culpada", $p \rightarrow q$: "Se Renato é inocente, então Raquel é culpada", $p \land q$: "Renato é inocente e Raquel é culpada".

Queremos saber os valores de p e q, e sabemos que a conjunção é falsa (ou seja, pelo menos uma das proposições é falsa) e que a implicação é verdadeira.

Dada a condição de verdade da implicação ($p \rightarrow q$ será verdade ⇔ v(p) = F ou v(q) = V) e que a conjunção entre p e q é falsa, não é possível que p e q sejam falsas ao mesmo tempo. Por definição de verdade, p não pode ser falsa e q verdadeira (caso contrário, isso tornaria a implicação falsa e uma contradição).

Segue-se necessariamente que Raquel pode ser culpada ou inocente, mas que Renato é culpado (Renato não é inocente).