Ano:2022Banca:Centro Brasileiro de Pesquisa em Avaliação e Seleção (CEBRASPE/CESPE)Órgão:Tribunal Regional do Trabalho da 8ª RegiãoProva:CEBRASPE - 2022 - TRT-8 - Técnico Judiciário - Enfermagem
Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e que os símbolos lógicos usuais sejam representados de acordo com a tabela a seguir.
| conectivo | símbolo |
|---|---|
| conjunção | ˄ |
| disjunção | ˅ |
| negação | ~ |
| condicional | ⇒ |
| bicondicional | ⇔ |
Nessa situação hipotética, a proposição lógica
((P ˅ Q) ˄ R) ⇒ (S ˅ T)
é equivalente à proposição lógica