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 os itens seguintes.
Ana tem 16 anos de experiência.
Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas simples. Com base nessas informações, julgue os itens seguintes relativos à lógica proposicional.
Considere também que as primeiras três colunas da tabela-verdade da proposição lógica P ⇒ (Q ˄ R) sejam iguais a:
Nesse caso, a última coluna dessa tabela-verdade apresenta exatamente três valores V.
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 os itens seguintes.
Bruna tem 22 anos de experiência.
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 os itens seguintes.
Carla é engenheira de software.
Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas simples. Com base nessas informações, julgue os itens seguintes relativos à lógica proposicional.
A proposição lógica (P ⇒ Q) ⇔ ((∿P) ˅ Q) é uma tautologia.