-
-
Novo APOIA.se AjudaMatemática
por admin em Sáb Abr 25, 2020 19:01
- 0 Tópicos
- 480768 Mensagens
-
Última mensagem por admin
em Sáb Abr 25, 2020 19:01
-
-
Agradecimento aos Colaboradores
por admin em Qui Nov 15, 2018 00:25
- 0 Tópicos
- 542695 Mensagens
-
Última mensagem por admin
em Qui Nov 15, 2018 00:25
-
-
Ativação de Novos Registros
por admin em Qua Nov 14, 2018 11:58
- 0 Tópicos
- 506426 Mensagens
-
Última mensagem por admin
em Qua Nov 14, 2018 11:58
-
-
Regras do Fórum - Leia antes de postar!
por admin em Ter Mar 20, 2012 21:51
- 0 Tópicos
- 736066 Mensagens
-
Última mensagem por admin
em Ter Mar 20, 2012 21:51
-
-
DICA: Escrevendo Fórmulas com LaTeX via BBCode
por admin em Qua Ago 29, 2007 04:04
- 41 Tópicos
- 2183272 Mensagens
-
Última mensagem por Janayna
em Qui Abr 27, 2017 00:04
Materiais sobre Lógica.
Utilize a seção de pedidos para outros que não estejam disponíveis.
As fontes dos arquivos serão diversas e deverão ser citadas sempre que possível, mantendo totalmente os créditos dos respectivos autores.
Regras do fórum
- Não envie somente enunciados de problemas, informe suas tentativas e dificuldades!
Queremos que a "ajuda" represente um trabalho interativo, pois saber especificar a dúvida exige estudo.
Serão desconsiderados tópicos apenas com enunciados, sem interação. Nosso objetivo não é resolver listas de exercícios;
- Para não haver má interpretação em suas postagens, especialmente na precedência das operações, utilize LaTeX, podendo ser a partir do botão "editor de fórmulas".
Bons estudos!
por Osman » Qua Nov 09, 2011 16:39
Olá! boa tarde! Eu estou com grandes dúvidas a respeito de como aplicar as regras de inferência na validação de argumentos. Não consigo memorizar as regras. O que eu faço? Existe alguma técnica para validar argumentos de uma forma menos "sufocante"? Preciso de ajuda emergencial. Agradeço.
-
Osman
- Novo Usuário
-
- Mensagens: 4
- Registrado em: Qua Nov 09, 2011 16:05
- Formação Escolar: GRADUAÇÃO
- Área/Curso: Licenciatura em Informática
- Andamento: cursando
por Neperiano » Qua Nov 09, 2011 17:07
Ola
Eu não sei pra memoriza estas regras de inferência, mas olhe como faço com números de celular
96837028- eu gravo de 2 em 2 numeros
96 ano que o gremio (meu time) foi campeão brasileiro
83 ano que o gremio foi campeão do mundo
70 ano que o brasil ganho o tri campeonato mundial
28 penso no número 24 que é engraçado e somo mais 4
Ou seja eu levei em conta o esporte
Tente criar conexão com algo que você gosta, a questão não é só decorar, mas tentar entender e memorizar
Atenciosamente
Sómente os mortos conhecem o fim da guerra
"Platão"
-
Neperiano
- Colaborador Voluntário
-
- Mensagens: 960
- Registrado em: Seg Jun 16, 2008 17:09
- Formação Escolar: GRADUAÇÃO
- Área/Curso: Engenharia de Produção
- Andamento: cursando
por MarceloFantini » Qua Nov 09, 2011 17:25
Osman, sinceramente não consigo entender sua dificuldade. O que você quer dizer por "regras de inferência"? Qual é o sentido de "validar argumentos de forma menos sufocante"? Se você pudesse nos dar um exemplo ou postar um enunciado que você tenha dificuldade, conseguiríamos ajudar mais facilmente.
Futuro MATEMÁTICO
-
MarceloFantini
- Colaborador Moderador
-
- Mensagens: 3126
- Registrado em: Seg Dez 14, 2009 11:41
- Formação Escolar: GRADUAÇÃO
- Andamento: formado
por Osman » Qui Nov 10, 2011 22:00
Então, Marcelo Fantini, eu vou mostrar um exemplo de argumento para ser validado:
. As regras de inferência são os métodos a serem utilizados no processo de validação deste argumento. Isso é lógica proposicional, um assunto que está sendo abordado no meu curso de Licenciatura em Informática. Espero que vc possa me ajudar. Obrigado pela atenção. Também agradeço ao Neperiano pela dica de memorização. Eu já tentei auxílio com internet, livros, mas ainda assim continua complicado.
-
Osman
- Novo Usuário
-
- Mensagens: 4
- Registrado em: Qua Nov 09, 2011 16:05
- Formação Escolar: GRADUAÇÃO
- Área/Curso: Licenciatura em Informática
- Andamento: cursando
por MarceloFantini » Qui Nov 10, 2011 22:59
Eu acredito que o melhor jeito de pensar em lógica não é escrever um monte de símbolos e tentar interpretá-los, mas redigi-los e compreender o seu significado. No seu caso, pelos símbolos torna-se difícil tal compreensão. O que me parecer ser é "não P implica Q, Q implica não R, R ou S, então não S implica P." É isto?
Futuro MATEMÁTICO
-
MarceloFantini
- Colaborador Moderador
-
- Mensagens: 3126
- Registrado em: Seg Dez 14, 2009 11:41
- Formação Escolar: GRADUAÇÃO
- Andamento: formado
por Osman » Qui Nov 10, 2011 23:19
É isso mesmo, Marcelo! Neste caso, O "não S implica em P" seria a conclusão do argumento e o que eu tenho que fazer é entrar num processo entre as premissas ("não P implica Q, Q implica não R, R ou S) que valide esta conclusão. Se eu chegar em "não S implica em P" o argumento é válido, do contrário, é inválido. Para este processo de validação existe uma série de regras de inferências que levam, ou não, à conclusão do argumento. Como são muitas, não sei como identificar a melhor regra a ser utilizada em cada caso. É essa a minha dificuldade.
-
Osman
- Novo Usuário
-
- Mensagens: 4
- Registrado em: Qua Nov 09, 2011 16:05
- Formação Escolar: GRADUAÇÃO
- Área/Curso: Licenciatura em Informática
- Andamento: cursando
por MarceloFantini » Sex Nov 11, 2011 00:31
Vamos trabalhar aos poucos.
Pelas duas primeiras, temos:
e
. Daí, podemos concluir
. Pela negação, podemos afirmar que
.
Agora, vamos voltar a nossa atenção a
. Para que esta afirmação seja verdadeira, temos três casos: R pode ser verdadeiro e S não; R pode ser verdadeiro e S também; R não é verdadeiro mas S é. Em outras palavras
pelo menos um deles tem que ser verdadeiro. Por isso dizemos que em matemática o
"ou" é
inclusivo, ao invés da fala comum que usamos como
exclusivo (exemplo: "você quer café normal ou descafeinado?").
Pois bem, vamos unir as nossas conclusões para resolver o problema. Sabemos primeiro que
. Ou seja, R de fato acontece e portanto
obrigatoriamente a relação
é satisfeita, não interessando se S acontece ou não, portanto podemos afirmar que
. Analogamente,
, porém neste caso o que somos levados a ver que S acontece mas R não, pela condição anterior.
Espero que tenha ficado claro.
Futuro MATEMÁTICO
-
MarceloFantini
- Colaborador Moderador
-
- Mensagens: 3126
- Registrado em: Seg Dez 14, 2009 11:41
- Formação Escolar: GRADUAÇÃO
- Andamento: formado
por Osman » Sáb Nov 12, 2011 21:17
Ficou muito claro, Marcelo! Muito obrigado pela ajuda. Eu passei a observar com mais atenção as regras de inferência que estão no meu livro e consegui entendê-las um pouco mais. Agradeço muito a atenção. Gostei muito do fórum, vocês dão um suporte espetacular.
-
Osman
- Novo Usuário
-
- Mensagens: 4
- Registrado em: Qua Nov 09, 2011 16:05
- Formação Escolar: GRADUAÇÃO
- Área/Curso: Licenciatura em Informática
- Andamento: cursando
por nietzsche » Sáb Nov 12, 2011 23:32
Osman,
para resolver problemas desse tipo também se pode usar algum método (método Tabelaux
http://pt.wikipedia.org/wiki/M%C3%A9todo_dos_Tableaux). No seu caso, o que era para se verificar é se de um conjunto de fórmulas vc pode deduzir uma outra. É um pouco diferente do que o Marcelo Fantini respondeu, visto que esse problema é mais pra lógica do que matemática.
Um livro muito bacana sobre o assunto é: MORTARI, César A. Introdução à lógica. Nele você poderá entender melhor sobre sua dúvida.
-
nietzsche
- Usuário Parceiro
-
- Mensagens: 99
- Registrado em: Qua Jan 12, 2011 14:09
- Formação Escolar: GRADUAÇÃO
- Área/Curso: Matemática
- Andamento: cursando
Voltar para Lógica
Se chegou até aqui, provavelmente tenha interesse pelos tópicos relacionados abaixo.
Aproveite a leitura. Bons estudos!
-
- LOGICA DA MATEMATICA
por Jaison Werner » Sáb Jan 29, 2011 10:58
- 3 Respostas
- 8287 Exibições
- Última mensagem por MarceloFantini
Dom Jan 30, 2011 01:41
Introdução à Lógica
-
- LOGICA DA MATEMATICA
por Jaison Werner » Sáb Jan 29, 2011 11:09
- 1 Respostas
- 7796 Exibições
- Última mensagem por Molina
Dom Jan 30, 2011 20:26
Introdução à Lógica
-
- Lógica da Matematica
por Jaison Werner » Qua Abr 27, 2011 12:19
- 6 Respostas
- 10258 Exibições
- Última mensagem por MarceloFantini
Qua Abr 27, 2011 21:31
Lógica e Conjuntos
-
- lógica matemática
por malbec » Ter Jun 02, 2015 11:25
- 1 Respostas
- 9296 Exibições
- Última mensagem por DanielFerreira
Dom Jun 07, 2015 12:38
Lógica
-
- Lógica Matemática URGENTE
por Jeffelim » Seg Fev 17, 2014 04:15
- 1 Respostas
- 2858 Exibições
- Última mensagem por Jeffelim
Seg Fev 17, 2014 13:04
Lógica
Usuários navegando neste fórum: Nenhum usuário registrado e 1 visitante
Assunto:
Taxa de variação
Autor:
felipe_ad - Ter Jun 29, 2010 19:44
Como resolvo uma questao desse tipo:
Uma usina de britagem produz pó de pedra, que ao ser depositado no solo, forma uma pilha cônica onde a altura é aproximadamente igual a 4/3 do raio da base.
(a) Determinar a razão de variação do volume em relação ao raio da base.
(b) Se o raio da base varia a uma taxa de 20 cm/s, qual a razão de variação do volume quando o raio mede 2 m?
A letra (a) consegui resolver e cheguei no resultado correto de
Porem, nao consegui chegar a um resultado correto na letra (b). A resposta certa é
Alguem me ajuda? Agradeço desde já.
Assunto:
Taxa de variação
Autor:
Elcioschin - Qua Jun 30, 2010 20:47
V = (1/3)*pi*r²*h ----> h = 4r/3
V = (1/3)*pi*r²*(4r/3) ----> V = (4*pi/9)*r³
Derivando:
dV/dr = (4*pi/9)*(3r²) -----> dV/dr = 4pi*r²/3
Para dr = 20 cm/s = 0,2 m/s e R = 2 m ----> dV/0,2 = (4*pi*2²)/3 ----> dV = (3,2/3)*pi ----> dV ~= 1,066*pi m³/s
Assunto:
Taxa de variação
Autor:
Guill - Ter Fev 21, 2012 21:17
Temos que o volume é dado por:
Temos, portanto, o volume em função do raio. Podemos diferenciar implicitamente ambos os lados da equação em função do tempo, para encontrar as derivadas em função do tempo:
Sabendo que a taxa de variação do raio é 0,2 m/s e que queremos ataxa de variação do volume quando o raio for 2 m:
Powered by phpBB © phpBB Group.
phpBB Mobile / SEO by Artodia.