
Considere como V as proposições “Carla é mais alta que Janice” e “Janice foi escolhida para o time de basquete”. Nesse caso, a proposição “Se Carla não é mais alta que Janice, então Janice não foi escolhida para o time de basquete” também será V.

Considere como V as proposições “Carla é mais alta que Janice” e “Janice foi escolhida para o time de basquete”. Nesse caso, a proposição “Se Carla não é mais alta que Janice, então Janice não foi escolhida para o time de basquete” também será V.
Na lógica sentencial, uma proposição é uma sentença declarativa que pode ser julgada como verdadeira ou falsa, mas não como verdadeira e falsa simultaneamente. As proposições são representadas por letras maiúsculas A, B, C, D etc. Como operações lógicas sobre proposições, a proposição “A ou B” só será falsa se as duas proposições A e B forem falsas; a proposição “Se A, então B” só será falsa se a proposição A for verdadeira e a B for falsa. Uma sequência de proposições é denominada correta se a última proposição, como consequência das anteriores, for verdadeira, sempre que as anteriores o forem. Nesse caso, a última proposição é denominada conclusão e as anteriores, premissas.
Julgue os itens subsequentes, com relação às definições apresentadas no te...
Para determinação dos valores x e y, obtém-se um sistema linear de duas equações com incógnitas x e y. A ele está associada uma matriz M, formada pelos coeficientes das variáveis das suas equações. Assinale a opção correta a respeito da solução desse sistema.

Se C(n) é o conjunto de todos os códigos de ordem n, então o produto cartesiano C(4) × C(5) possui 40 elementos.

Os autovalores da matriz A são iguais a 

Existem, no máximo, 55 códigos distintos de ordem menor ou igual a 10.



A partir do texto, julgue os itens a seguir.
A negação da proposição "O juiz determinou a libertação de um estelionatário e de um ladrão" é expressa na forma "O juiz não determinou a libertação de um estelionatário nem de um ladrão".
Julgue os itens que se seguem, acerca de proposições e seus valores lógicos.
A negação da proposição "O concurso será regido por este edital e executado pelo CESPE/UnB" estará corretamente simbolizada na forma isto é, "O concurso não será regido por este edital nem será executado pelo CESPE/UnB".
A proposição "Carlos é juiz e é muito competente" tem como negação a proposição "Carlos não é juiz nem é muito competente".