Raciocínio Lógico — permitação circular

As afirmações que podem ser julgadas como verdadeiras (V) ou falsas (F), mas não ambas, são chamadas proposições. As proposições são usualmente simbolizadas por letras maiúsculas: A, B, C etc. A expressão , lida, entre outras formas, como se A então B, é uma proposição que tem valoração F quando A é V e B é F, e tem valoração V nos demais casos. Uma expressão da forma , lida como não A, é uma proposição que tem valoração V quando A é F, e tem valoração F quando A é V. A expressão da forma AwB, lida como A e B, é uma proposição que tem valoração V apenas quando A e B são V, nos demais casos tem valoração F. Uma expressão da forma , lida como A ou B, é uma proposição que tem valoração F apenas quando A e B são F; nos demais casos, é V. Com basenessas definições, julgue os itens que se seguem.

Considere que as afirmativas Se Mara acertou na loteria então ela ficou rica e Mara não acertou na loteria sejam ambas proposições verdadeiras. Simbolizando adequadamente essas proposições pode-se garantir que a proposição Ela não ficou rica é também verdadeira.