Lista de Exercícios Resolvidos - Lógica Matemática - UFSS

UNIVERSIDADE FEDERAL DO SUL E SUDESTE DO PAR A INSTITUTO DE ENGENHARIA DO ARAGUAIA MASMB02112 L OGICA MATEM ATICA Lista Extra 1 Justifique cuidadosamente todas as suas respostas 1 Verifique que as seguintes proposicoes sao equivalentes a Vocˆe chega no trabalho no horario ou vocˆe e demitido e Se vocˆe nao chegar no trabalho no horario entao vocˆe e demitido b 1 5 2 ou nao e o caso que 1 1 5 3 e 1 5 1 ou 1 5 2 ou x 3 Lista Extra 1 Pagina 2 de 6 Perıodo 4 2022 2 Completar cada um dos seguintes argumentos validos a 1 n q Premissa 2 n q p Premissa 3 n p Premissa 4 n n q 5 n p 6 n n p 7 n b 1 n q Premissa 2 n q p Premissa 3 n p Premissa 4 n n q 5 n p 6 n p 7 n p 8 p n 9 p n 10 n n 11 n n 12 n Lista Extra 1 Pagina 3 de 6 Perıodo 4 2022 c 1 n q Premissa 2 n q p Premissa 3 n p Premissa 4 n n q 5 n p 6 n p 7 p n 8 p n 9 n q n 10 n q n 11 n q n 12 n n q 13 n q 14 n q 15 n Lista Extra 1 Pagina 4 de 6 Perıodo 4 2022 3 Construa uma prova direta de validade para o seguinte argumento a Se Luıs comprar um carro entao Carlos tambem comprara Se Carlos comprar um carro entao ou Maria ou Gloria tirarao a Carteira de Habilitacao Se ou Maria ou Gloria tirarem a Carteira de Habilitacao entao Joao sofrera um acidente automobilıstico Se a compra de um carro por Luıs implicar um acidente com Joao b Se estudo sou aprovado em Logica Matematica Se nao jogo vˆolei entao estudo Nao fui aprovado em Logica Matematica Portanto joguei vˆolei c O oxigˆenio do tubo ou combinouse com o filamento formando um acido ou evaporou completamente O oxigˆenio do tubo nao pode ter evaporado totalmente Portanto o oxigˆenio do tubo combinouse com o filamento formando um acido Lista Extra 1 Pagina 5 de 6 Perıodo 4 2022 4 Usando Demonstracao Indireta valide o seguinte argumento p q r s p q r r p p t s q r r t q Considere px y a sentença aberta x y é múltiplo de 2 em que o domínio para as variáveis consiste em todos os inteiros e q é a proposição 8 1 é múltiplo de 2 Determine o valor verdade de cada uma destas proposições a y p1 y b x y px y q c x y px y q d y x px y Para entregar dia 09abril