p?q q? ?r r? ?p
Pode-se concluir que o conjunto de proposições simples logicamente verdadeiras é dado por
Considerando os conectivos lógicos usuais e assumindo que as letras maiúsculas representam proposições lógicas, julgue o item seguinte, relativos à lógica proposicional.
A negação da sentença “Se eu me alimento de forma saudável, então terei uma boa qualidade de vida no período da terceira idade” corresponde à sentença “Se eu não me alimento de forma saudável, então não terei uma boa qualidade de vida no período da terceira idade”.
Uma equipe de três agentes da polícia científica (Ana, Bruna e Carla), com especialidades distintas (papiloscopia, biomedicina e engenharia de software) e tempos de experiência diferentes (16, 19 e 22 anos), foi designada para investigar uma cena de crime. Sabe-se que Carla não é a papiloscopista e tem 16 anos de experiência, a biomédica tem 22 anos de experiência e Ana não é engenheira de software e não tem 22 anos de experiência.
Com base nessa situação hipotética, julgue o item seguinte.
Ana tem 16 anos de experiência.