Logica Matemática

Etapa 1 Dos 70 funcionários que tem casa própria, 30 são solteiros, o que significa que os 40 restantes são casados. Como o total de funcionários casados é 80, então existem mais 40 que não tem casa própria. Os itens (a) e (b) estão errados. ER Etapa 2 A – Rodolfo é mais alto que Guilherme. B – Heloísa e Flávia têm a mesma altura. C – Alexandre é mais baixo que Guilherme. D - Rodolfo é mais alto que Heloísa. A B C D A ↔ B ↔ C ↔ D F F F F V Alternativa (a). OC

ETAPA 4: LÓGICA PROPOSICIONAL. “José quer ir ao teatro assistir à peça “A Vida é uma Comédia”, mas não tem certeza se a mesma está sendo exibida. Seus amigos, Maria, Luís e Júlio têm opiniões discordantes sobre se a peça está ou não em cartaz. Se Maria estiver certa, então Júlio está enganado. Se Júlio estiver enganado, então Luís está enganado. Se Luís estiver enganado, então a peça não está sendo exibida. Ora, ou a peça “A Vida é uma Comédia” está sendo exibida, ou José não irá ao…

Questão 1: As questões 1, 2 e 3 devem ser respondidas de acordo com os conjuntos abaixo: A={51, 52, 53, 54, 55} B={51, 56, 57, 58, 59} C={63, 50, 57, 60, 61, 62} O conjunto formado por A – B é: Alternativas 1 - A - B = { } 2 - A - B = {57} 3 - A - B = {51, 57} 4 - A - B = {52,53,54,55} 5 - A - B = {51, 57, 52, 53, 54, 55} Sua resposta 4 - A - B = {52,53,54,55} Resposta gabarito A - B = {52,53,54,55} Comentário do gabarito A diferença A-B é formado pelos elementos que…

Trabalho de matemática Desafio 1: A não ser por pequenas diferenças de formulação, a charada abaixo é idêntica à encontrada no papiro de Rhind, um rolo de pergaminho egípcio contendo tabelas matemáticas e problemas, copiados pelo escriba Ahmes em torno de 1.650 a.C. O papiro matemático de Rhind é uma cópia de um trabalho ainda mais antigo. Foi copiado por um escriba (escriturário egípcio) chamado Ahmes, em 1650 a.C, e por esse motivo também é referenciado por papiro de…

Período: 23/03/12 00:00 à 27/04/12 23:59 Situação: Confirmado 24/04/2012 19:42 Protocolo: 80572868 Conceito: Excelente Cabeçalho Questão 1: Nota: Excelente A questão 1, deve ser respondida de acordo com os conjuntos abaixo: A={11, 22, 33, 44, 55} B={11, 13, 15, 17, 19} C={5, 10, 15, 20, 25, 30} O onjunto formado por A – B é: Alternativas 1 - A - B = {22,33,44,55} 2 - A - B = {15} 3 - A - B = {11, 15} 4 - A - B = {11, 15, 22, 33, 44,…

Atividade para Postagem (4ª semana) Capítulo 10 1) Usar tabela-verdade para verificar que são válidos os seguintes argumentos: a. p → q, p V V V V F F F F q V V F F V V F F r → ~q — r → ~p r V F V F V F V F p→q V V F F V V V V r → ~q F V V V F V V V r → ~p F V F V V V V V De acordo com as linhas 2, 6, 7 e 8, o argumento dado é válido. b. p → ~q, p V V V V F F F F q V V F F V V F F r → p, r V F V F V F V F q — ~r r → p V V V V F V F V q V V F F V V F F ~r F V F V F V F V…

problemas - encarando-se a questão em linhas gerais - existem três grupos: algumas são proposições éticas, outras versam sobre a filosofia natural e outras, enfim, são lógicas. Proposições como a seguinte são éticas: "deve um homem obedecer antes aos seus genitores ou às leis, quando estão em desacordo?"; um exemplo de proposição lógica é. "o conhecimento dos opostos é ou não é o mesmo?", enquanto proposições como esta dizem respeito à filosofia natural: "é ou não é eterno o…

Soares TERESINA - PI 2013 KELSON FERNANDES SILVA PROJETO DE PESQUISA: RELAÇÃO ENTRE OS CONECTIVOS LÓGICOS MATEMÁTICOS E A LINGUAGEM DE PROGRAMAÇÃO JAVA Projeto de Pesquisa referente ao curso de Especialização em Matemática Aplicada às Ciências e Tecnologias do Instituto Federal do Piauí - IFPI, direcionado à construção do artigo final deste curso, tendo como orientador o Prof. Dr. Roberto Arruda Lima Soares. TERESINA - PI 2013…

com 256 linhas)? Seria certamente uma tarefa pouca prática, demasiado fastidiosa e morosa… Por isso, será que existem outros métodos na lógica proposicional clássica para se testar a validade dos argumentos? Um método diferente, bastante simples e rápido, para examinar a validade dos argumentos é o método das árvores de refutação, também designado por árvores lógicas ou por demonstrações em árvore (tree proofs). A principal característica deste método é proceder por redução ao absurdo…

Definição de Lógica Paraconsistente e Lógica de Fuzzy Lógica Paraconsistente A Lógica Paraconsistente é classificada entre as chamadas lógicas não clássicas heterodoxas por derrogar alguns dos princípios basilares da lógica clássica. Ela visa, entre outras coisas, oferecer alternativas aos princípios clássicos do Terceiro Excluído e da Não Contradição, insuficientes para tratar proposições cuja conclusão sejam valores diferentes de Verdadeiro e Falso. Lógica de Fuzzy A lógica…