Se uma matriz quadrada M é igual à sua inversa M-1, então, o determinante de M é
é simétrica e positiva definida. Com relação à lógica formal, julgue os itens subseqüentes.
A negação da proposição "2 + 5 = 9" é a proposição "2 + 5 = 7".
Considere a seguinte proposição: "Ninguém será considerado culpado ou condenado sem julgamento." Julgue os itens que se seguem, acerca dessa proposição.
A proposição "Existe alguém que será considerado culpado ou condenado sem julgamento" é uma proposição logicamente equivalente à negação da proposição acima.
Considere as seguintes proposições:
I Todos os cidadãos brasileiros têm garantido o direito de herança.
II Joaquina não tem garantido o direito de herança.
III Todos aqueles que têm direito de herança são cidadãos de muita sorte.
Supondo que todas essas proposições sejam verdadeiras, é correto concluir logicamente que
Joaquina não é cidadã brasileira.
Ainda considerando as informações do texto, julgue os próximos itens.
Se A é a proposição "Todo bom soldado é pessoa honesta",
considere as proposições seguintes:
B Nenhum bom soldado é pessoa desonesta.
C Algum bom soldado é pessoa desonesta.
D Existe bom soldado que não é pessoa honesta.
E Nenhuma pessoa desonesta é um mau soldado.
Nesse caso, todas essas 4 últimas proposições podem ser
consideradas como enunciados para a proposição ¬A.
Ainda considerando as informações do texto, julgue os próximos itens.
Se A é a proposição "O soldado Brito é jovem e casado", então a proposição "O soldado Brito não é jovem mas é solteiro" é um enunciado correto para a proposição ¬A.
Em uma instituição de ensino, o critério para aprovação dos estudantes determina que a nota final deva ser igual ou superior a 6 e que a quantidade de faltas não exceda a 25% da quantidade de dias de aulas.
Tendo como base as informações acima e as proposições P: “A nota final do estudante foi igual ou superior a 6.”; Q: “A quantidade de faltas do estudante não excedeu a 25% da quantidade de dias de aulas.”; e R: “O estudante foi aprovado.”, julgue os itens a seguir, a respeito de lógica sentencial.
