César Felipe Sánchez Vargas
31/12/1969 • 21:00
1. O conjunto de trapezistas é o mesmo que o conjunto dos malabaristas, pelo que considerarei apenas como malabaristas para evitar confusões. Desde já sabemos que a resposta b) só está aí para confundir.
2. Temos 3 proporições lógicas que passarei a chamar p, q e r
p: um artista é contorcionista
q: um artista é equilibrista
r: um artista é malabarista
3. A proposição composta do enunciado ficaria (p ^ ~q) -> ~r que se lê "se p e não q, então não r"
4 Como queremos saber o que acontece quando o artista é malabarista, teremos uma proposição composta do tipo "se r então (...)"
5. Resolvemos da seguinte maneira:
(p ^ ~q) -> ~r / Aplicamos transposição do condicional (p -> q) = (~q -> ~p) resultando
~~r -> ~(p ^ ~q) / Aplicamos a dupla negação à esquerda do condicional e Lei de De Morgan à direita resultando
r -> ~p v q
6. A expressão final se lê "se r então não p ou q" que traduzido seria "se um artista é malabarista então não é contorcionista ou é equilibrista", resposta c)
2. Temos 3 proporições lógicas que passarei a chamar p, q e r
p: um artista é contorcionista
q: um artista é equilibrista
r: um artista é malabarista
3. A proposição composta do enunciado ficaria (p ^ ~q) -> ~r que se lê "se p e não q, então não r"
4 Como queremos saber o que acontece quando o artista é malabarista, teremos uma proposição composta do tipo "se r então (...)"
5. Resolvemos da seguinte maneira:
(p ^ ~q) -> ~r / Aplicamos transposição do condicional (p -> q) = (~q -> ~p) resultando
~~r -> ~(p ^ ~q) / Aplicamos a dupla negação à esquerda do condicional e Lei de De Morgan à direita resultando
r -> ~p v q
6. A expressão final se lê "se r então não p ou q" que traduzido seria "se um artista é malabarista então não é contorcionista ou é equilibrista", resposta c)