-
-
Novo APOIA.se AjudaMatemática
por admin em Sáb Abr 25, 2020 19:01
- 0 Tópicos
- 480300 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
- 540337 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
- 504204 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
- 729745 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
- 2167287 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
- 8278 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
- 7791 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
- 10237 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
- 9283 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
- 2854 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:
[Função] do primeiro grau e quadratica
Autor:
Thassya - Sáb Out 01, 2011 16:20
1) Para que os pontos (1,3) e (-3,1) pertençam ao grafico da função f(X)=ax + b ,o valor de b-a deve ser ?
2)Qual o maior valor assumido pela função f : [-7 ,10] em R definida por f(x) = x ao quadrado - 5x + 9?
3) A função f, do primeiro grau, é definida pos f(x)= 3x + k para que o gráfico de f corte o eixo das ordenadas no ponto de ordenada 5 é?
Assunto:
[Função] do primeiro grau e quadratica
Autor:
Neperiano - Sáb Out 01, 2011 19:46
Ola
Qual as suas dúvidas?
O que você não está conseguindo fazer?
Nos mostre para podermos ajudar
Atenciosamente
Assunto:
[Função] do primeiro grau e quadratica
Autor:
joaofonseca - Sáb Out 01, 2011 20:15
1)Dados dois pontos A=(1,3) e B=(-3,1) de uma reta, é possivel definir a sua equação.
Em
substitui-se
m, substitui-se
y e
x por um dos pares ordenados, e resolve-se em ordem a
b.
2)Na equação
não existem zeros.Senão vejamos
Completando o quadrado,
As coordenadas do vertice da parabola são
O eixo de simetria é a reta
.Como se pode observar o vertice está acima do eixo Ox, estando parabola virada para cima, o vertice é um mínimo absoluto.Então basta calcular a função para os valores dos extremos do intervalo.
f(-7)=93
f(10)=59
Powered by phpBB © phpBB Group.
phpBB Mobile / SEO by Artodia.