Baixe o app para aproveitar ainda mais
Prévia do material em texto
Curso: Sistema de Informação Professora: Cristiane Leitão Trabalho para a 2ª Avaliação. Para ser entregue no dia da prova, impreterivelmente!!! Valor: 2.0 pontos ou mais..... 1ª Questão: Marque a alternativa correta: a) Considerando as equivalências lógicas conhecidas como Leis de Morgan, determine a negativa da frase: O menino do cabelo vermelho fez o dever de casa ou foi à festa da amiga. A O menino do cabelo vermelho não fez o dever de casa e não foi à festa da amiga. B O menino do cabelo vermelho não fez o dever de casa ou não foi à festa da amiga. C O menino do cabelo vermelho fez o dever de casa e não foi à festa da amiga. D O menino do cabelo vermelho não fez o dever de casa e foi à festa da amiga. E O menino do cabelo vermelho não fez o dever de casa ou foi à festa da amiga. b) Escolha a resposta correta para a distributividade da proposição composta p (r s): A (p s) (p r); B (p r) (p s); C (p s) (p r); D (p r) (p s); E (p s) (p r). c) Sabendo que os valores lógicos das proposições p e q são respectivamente: V e F, determine os valores lógicos das proposições compostas : (~ q p) p e ( p q) ~ q A V e V B V e F C F e V D F e F E Não é possivel determinar d) Se o jardim não é florido, então o cachorro late. Se o jardim é florido, então o passarinho não canta. Ora, o passarinho canta. Logo, podemos concluir logicamente que: A O jardim é florido e o cachorro late. B O jardim é florido e o cachorro não late. C O jardim não é florido e o cachorro late. D O jardim não é florido e o cachorro não late. E Se o passarinho canta, então o cachorro não late. 2ª Questão: Verifique se as proposições abaixo são tautologias, contradições ou contingências: a) b) 3ª Questão: Dê o valor lógico das expressões, sabendo que p e r são verdadeiros e q e s são falsos. a) ( p ( q( r ) (s q) b) ~[ c) d) 4ª Questão: Usar o Método Dedutivo para demonstrar: a) b) c) d) 5ª Questão: Simplificar as proposições, usando o Método Dedutivo: a) b) 6ª Questão: Usar as Regras de Inferência para verificar a validade dos argumentos abaixo: a) b) c) d) e) _1180733697.unknown _1383932150.unknown _1383932538.unknown _1414492258.unknown _1414492307.unknown _1414492565.unknown _1383932551.unknown _1414492221.unknown _1383932520.unknown _1383932533.unknown _1383932167.unknown _1383932124.unknown _1383932137.unknown _1274778627.unknown _1383932108.unknown _1274778752.unknown _1180734489.unknown _1100298601.unknown _1141131703.unknown _1180733653.unknown _1147354870.unknown _1141131689.unknown _1115721875.unknown _1099002225.unknown _1100298346.unknown _1100298383.unknown _1096918233.unknown
Compartilhar