[obm-l] Re: [obm-l] lógica e trigonometria

2018-12-25 Por tôpico Pedro José
Boa tarde! O que seria a recíproca da lei do seno? Em dom, 23 de dez de 2018 23:09, Israel Meireles Chrisostomo < israelmchrisost...@gmail.com escreveu: > Como eu provo que a recíproca da lei dos senos é verdadeira ? > > -- > Israel Meireles Chrisostomo > > >

[obm-l] lógica e trigonometria

2018-12-23 Por tôpico Israel Meireles Chrisostomo
Como eu provo que a recíproca da lei dos senos é verdadeira ? -- Israel Meireles Chrisostomo Livre de vírus. www.avast.com

[obm-l] Lógica Fuzzy

2018-06-16 Por tôpico Pedro José
Bom dia! Poderiam recomendar-me literatura sobre lógica fuzzy? Saudações, PJMS -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Lógica

2017-11-26 Por tôpico Israel Meireles Chrisostomo
Obrigado gente! Em 26 de novembro de 2017 21:38, Carlos Nehab escreveu: > Apenas corrigindo o detalhe... > > Vamos lá: > As proposições > p: (qqsx)(se x é racional então y é irracional) > ~p (não p): (há x)(x é racional *e* y é racional) > são (verdadeiras). FALSAS, de

[obm-l] Re: [obm-l] Lógica

2017-11-26 Por tôpico Carlos Nehab
Apenas corrigindo o detalhe... Vamos lá: As proposições p: (qqsx)(se x é racional então y é irracional) ~p (não p): (há x)(x é racional *e* y é racional) são (verdadeiras). FALSAS, de fato. Em 26 de novembro de 2017 21:05, Carlos Nehab escreveu: > Oi, Israel, > > Sua

[obm-l] Re: [obm-l] Lógica

2017-11-26 Por tôpico Bruno Visnadi
"Mas se uma proposição é falsa, então sua contra-positiva também é falsa" Sim, e a afirmação '' se y é racional então x é irracional'' é de fato falsa. Por exemplo, ''Todo ser humano é um réptil'' é uma afirmação falsa. Sua contrapositiva, ''Se algo não é réptil, então não é humano'', é falsa

[obm-l] Re: [obm-l] Lógica

2017-11-26 Por tôpico Ralph Teixeira
Ah, errei a ultima linha: ***Existem*** x e y tais que (y eh racional) e (x nao eh irracional). O que funciona (por exemplo, com x=2). :D 2017-11-26 21:16 GMT-02:00 Ralph Teixeira : > Oi, Israel. > > Primeiro: a negacao de p=>q nao eh uma implicacao! A negacao de p => q eh:

[obm-l] Re: [obm-l] Lógica

2017-11-26 Por tôpico Ralph Teixeira
Oi, Israel. Primeiro: a negacao de p=>q nao eh uma implicacao! A negacao de p => q eh: "p e nao q". Segundo: na grande maioria das implicacoes logicas, fica subentendido um "para todo" para as variaveis que estiverem livres... Se nao fosse assim, voce nao poderia julgar a frase, pois voce nao

[obm-l] Re: [obm-l] Lógica

2017-11-26 Por tôpico Carlos Nehab
Oi, Israel, Sua encrenca reside na falta de uso de quantificadores. A contrapositiva de uma proposição do tipo P implica Q é, como vc mencionou, ~Q implica ~P. Mas a proposição original a que vc se refere parece ser "se x é racional então y é irracional" mas não é, pois falta o uso dos

[obm-l] Lógica

2017-11-26 Por tôpico Israel Meireles Chrisostomo
Seja y=x-1/x.A proposição: se x é racional então y é irracional, é uma proposição claramente falsa.Mas se uma proposição é falsa, então sua contra-positiva também é falsa.A contra-positiva dessa sentença é: se y é racional então x é irracional, e por ser a proposição contra-positiva da primeira,

[obm-l] [obm-l] lógica de primeira segunda ordem livros

2010-07-19 Por tôpico antonio ricardo
olá caros colegas estou iniciando meus estudos em lógica e gostaria de sugestões de livros. aqui onde moro, os livros são muitos desatualizados (para se ter uma ideia, o livro que estou lendo é da década de 70) gostaria de comprar, fazer download ou coisas do tipo livros em português seriam bom,

[obm-l] [obm-l] lógica de primeira segunda ordem livros

2010-07-12 Por tôpico antonio ricardo
olá caros colegas estou iniciando meus estudos em lógica e gostaria de sugestões de livros. aqui onde moro, os livros são muitos desatualizados (para se ter uma ideia, o livro que estou lendo é da década de 70) gostaria de comprar, fazer download ou coisas do tipo livros em português seriam bom,

[obm-l] Re: [obm-l] [obm-l] lógica de primeira segunda orde m livros

2010-07-12 Por tôpico Marcelo Costa
, perdemos a vontade de ler e portanto responder... eu não sei sobre estes livro de lógica, respondi só para te dar esta dica... Thiago -- Date: Mon, 12 Jul 2010 04:27:24 -0700 From: raizde5mais1divididop...@yahoo.com.br Subject: [obm-l] [obm-l] lógica de primeira segunda

[obm-l] [obm-l] lógica de primeira segunda ordem livros

2010-07-05 Por tôpico antonio ricardo
olá caros colegas estou iniciando meus estudos em lógica e gostaria de sugestões de livros. aqui onde moro, os livros são muitos desatualizados (para se ter uma ideia, o livro que estou lendo é da década de 70) gostaria de comprar, fazer download ou coisas do tipo livros em português seriam bom,

[obm-l] lógica de primeira segunda ordem livros

2010-06-22 Por tôpico antonio ricardo
olá caros colegas estou iniciando meus estudos em lógica e gostaria de sugestões de livros. aqui onde moro, os livros são muitos desatualizados (para se ter uma ideia, o livro que estou lendo é da década de 70) gostaria de comprar, fazer download ou coisas do tipo livros em português seriam bom,

[obm-l] lógica....

2009-12-16 Por tôpico ruy de oliveira souza
Um probleminha de vestibular( bastante elementar até) me chamou a atenção quanto a resposta. Vou transcrevê-lo pra vocês. Considere as funções f(x)=mx+3 e g(x)=x^2-2x+2 onde m pertence a lR. Determine condições sobre m para que a equação f(g(x))=0 tenha raiz real. Se você partir de

[obm-l] Re: [obm-l] lógica....

2009-12-16 Por tôpico Ralph Teixeira
Bom, para mim, condições é vago, pois há condição necessária e condição suficiente. i) Se forem condições **necessárias**, o gabarito deles está correto. Infelizmente, com esta interpretação, a resposta -151=m=300 também é válida, assim como m0. Afinal, está correta a implicação se a eq. tem raiz

[obm-l] Re: [obm-l] lógica

2008-02-12 Por tôpico Tio Cabri st
: elton francisco ferreira [EMAIL PROTECTED] To: obm-l@mat.puc-rio.br Sent: Tuesday, February 12, 2008 8:28 AM Subject: [obm-l] lógica Olá pessoal da lista! Gostaria de saber, apenas, como armar esse tipo de problema. desde já agradeço!!! Ao observar o calendário de uma ano, Josué observou que um

[obm-l] lógica

2006-10-13 Por tôpico elton francisco ferreira
02. Numa sala estão 100 pessoas, todas elas com menos de 80 anos de idade. É FALSO afirmar que pelo menos duas dessas pessoas a) nasceram num mesmo ano. b) nasceram num mesmo mês. c) nasceram num mesmo dia da semana. d) nasceram numa mesma hora do dia. e) têm 50 anos de

Re: [obm-l] Re: [obm-l] RES: [obm-l] lógica: condional e bicondicional

2006-01-07 Por tôpico Bruna Carvalho
Igor na item c, eu só ganho o carro se eu passar de ano. esse não é a condição para ganhar ??

[obm-l] lógica: condional e bicondicional

2006-01-05 Por tôpico Bruna Carvalho
alguem pode me ajudar a entender o uso do condicional ( - ) e do bicondicional ( - ) eu não entendo como usar eles e a lógica em suas tabelas verdades.

[obm-l] RES: [obm-l] lógica: condional e bico ndicional

2006-01-05 Por tôpico Artur Costa Steiner
] [mailto:[EMAIL PROTECTED]Em nome de Bruna CarvalhoEnviada em: quinta-feira, 5 de janeiro de 2006 10:37Para: obm-l@mat.puc-rio.brAssunto: [obm-l] lógica: condional e bicondicionalalguem pode me ajudar a entender o uso do condicional ( - ) e do bicondicional ( - ) eu não entendo como

Re: [obm-l] lógica: condional e bicondicional

2006-01-05 Por tôpico Sérgio Farias
Acredito que o melhor que você possa fazer é comprar um livro de lógica e começar a estudar mesmo, caso tenha interesse em entender mesmo e até se aprofundar na ciência de Aristóteles. Por meu turno, estou estudando pelo livro "Introdução à Lógica" do Cezar Mortari, utilizado em várias

Re: [obm-l] lógica: condional e bicondicional

2006-01-05 Por tôpico Bruna Carvalho
qual é então a difereça entre:( - ) e ( = );( -) e ( =);

[obm-l] RES: [obm-l] lógica: condional e bico ndicional

2006-01-05 Por tôpico Artur Costa Steiner
so o simbolo. Uns gostam de -, outros de = Artur -Mensagem original-De: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]Em nome de Bruna CarvalhoEnviada em: quinta-feira, 5 de janeiro de 2006 12:43Para: obm-l@mat.puc-rio.brAssunto: Re: [obm-l] lógica: condional e

[obm-l] Re: [obm-l] RES: [obm-l] lógica: condional e bicondicional

2006-01-05 Por tôpico Igor Castro
mesma ideia no exercicio seguinte usando o "se, somente se" ok? - Original Message - From: Bruna Carvalho To: obm-l@mat.puc-rio.br Sent: Thursday, January 05, 2006 1:43 PM Subject: Re: [obm-l] RES: [obm-l] lógica: condional e bicondicional a) No caso do

[obm-l] Lógica de SEgunda Ordem

2005-11-22 Por tôpico Denisson
Olá colegas da lista; Gostaria que alguém me esclarecesse a seguinte afirmação que eu li: O problema de identificar fórmulas válidas é sempre possível em logica proposicional; possível sob certas condições em lógica de predicados. E impossível em lógica de segunda ordem Obrigado Denisson

Re: [obm-l] Lógica

2005-08-23 Por tôpico Nicolau C. Saldanha
On Mon, Aug 22, 2005 at 03:57:26PM -0300, Marcelo Roseira wrote: Prezados. Esta questão caiu numa prova de concurso público. Eles divulgaram gabarito (B). Sinceramente acho que houve erro de digitação nas alternativas. Entretanto, a banca não se pronunciou após a prova, nem anulou a

[obm-l] Lógica

2005-08-23 Por tôpico João Artur
Este problema está no livro do Iezzi e já caiu na UFPE. Sinceramente, só entendi as letras A e B. O gabarito está com a letra D, não entendi porque podemos afirmar as letras C e E. Considerando que em uma festa existem 15 pessoas, NÃO podemos afirmar que: a) Pelo menos 2 pessoas nasceram no

Re: [obm-l] Lógica

2005-08-23 Por tôpico Fábio Dias Moreira
Nicolau C. Saldanha said: On Mon, Aug 22, 2005 at 03:57:26PM -0300, Marcelo Roseira wrote: [...] Sejam as proposições: P: Maria está na Itália. Q: Jorge é espanhol. R: Luíza não está na Itália. A proposição composta representada por [~(~P#8743;Q)#8743;~R] pode ser descrita por: Não

[obm-l] Lógica

2005-08-22 Por tôpico Marcelo Roseira
Prezados. Esta questão caiu numa prova de concurso público. Eles divulgaram gabarito (B). Sinceramente acho que houve erro de digitação nas alternativas. Entretanto, a banca não se pronunciou após a prova, nem anulou a questão. Acredito que nas letras (A) e (B) deveria estar: Luíza está na

Re: [obm-l] Lógica

2005-08-22 Por tôpico Bruno França dos Reis
Sejam A e B proposições. Temos: ~(A∧B) = ~A ou ~B Lembre também que a operação negação, ~, tem maior precedência que a operação ∧ (E) e que a operação ou (que não é exclusivo, como é um xor, por exemplo). Sejam as proposições: P: Maria está na Itália. Q: Jorge é espanhol. R: Luíza não está na

Re: [obm-l] Lógica

2005-08-22 Por tôpico Bruno França dos Reis
Perdão, cometi um erro de digitação (que não se propagou, corrigi na linha seguinte sem ver, eheheh). Segue a correção: ~P: Maria não está na Itália. ~P ∧ Q: Maria não está na Itália e Jorge *é* espanhol. ~(~P ∧ Q) = P ou ~Q = Maria está na Itália ou Jorge não é espanhol. ~R: Luiza está na

[obm-l] LÓGICA FORMAL!

2004-11-22 Por tôpico jorgeluis
Ok! Ralph e demais colegas! Grato pela atenção de resposta! Vamos adiante! Você foi convocado a participar do juri em um processo criminal. O advogado de defesa argumenta o seguinte: Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca não estava na gaveta ou Jason viu a faca. Se a

[obm-l] Lógica+Conjuntos

2004-01-29 Por tôpico Nelson
Olá a todos, Gostaria de saber se é correta a igualdade: [A C B e B C C = A C C] = [(A = B ^ B = C) = (A = C)] obs: ^ =e e também: (A = B) = (A = B) Desde já, agradeço. NelsonYahoo! GeoCities: a maneira mais fácil de criar seu web site grátis!

Re: [obm-l] Lógica+Conjuntos

2004-01-29 Por tôpico ronaldogandhi
Em 29 Jan 2004, [EMAIL PROTECTED] escreveu: Olá a todos, Gostaria de saber se é correta a igualdade: [A C B e B C C = A C C] = [(A = B ^ B = C) = (A = C)] obs: ^ = e Apesar de saber um pouco das duas coisas e ter estudado eng. de computação, gostaria que humildemente alguém me

[obm-l] Lógica

2003-12-08 Por tôpico DEOLIVEIRASOU
Um amigo meu veio com um desafio, que foi proposto naquela sociedade de super-dotados( eu não conhecia ) da qual faz parte aquele cantor do ultraje a rigor. É de preenchimento de espaços em uma sequência ( lembra daquela...2,10,12,16,17,18.19,qual é o próximo??..duzentos, pois é uma sequência

Re: [obm-l] Lógica

2003-12-08 Por tôpico Claudio Buffara
Title: Re: [obm-l] Lógica on 08.12.03 20:04, [EMAIL PROTECTED] at [EMAIL PROTECTED] wrote: Um amigo meu veio com um desafio, que foi proposto naquela sociedade de super-dotados( eu não conhecia ) da qual faz parte aquele cantor do ultraje a rigor. É de preenchimento de espaços em uma sequência

Re: [obm-l] Lógica

2003-12-08 Por tôpico frança
que começam com d.) A sequência que ele me propôs é a seguinte: J -- M -- M -- J -- S -- N -- Os meses do ano: J F M A M J J A S O N D __ Do you Yahoo!? New Yahoo! Photos - easier uploading and sharing. http://photos.yahoo.com/

Re: [obm-l] Lógica

2003-12-08 Por tôpico Eduardo Henrique Leitner
On Mon, Dec 08, 2003 at 08:26:08PM -0200, Claudio Buffara wrote: on 08.12.03 20:04, [EMAIL PROTECTED] at [EMAIL PROTECTED] wrote: Um amigo meu veio com um desafio, que foi proposto naquela sociedade de super-dotados( eu não conhecia ) da qual faz parte aquele cantor do ultraje a rigor. É

Re: [obm-l] Lógica

2003-12-08 Por tôpico Eduardo Henrique Leitner
a tah, esqueçam meu outro e-mail... On Mon, Dec 08, 2003 at 02:35:05PM -0800, luiz frança wrote: que come?am com d.) A sequ?ncia que ele me prop?s ? a seguinte: J -- M -- M -- J -- S -- N -- Os meses do ano: J F M A M J J A S O N D __ Do

[obm-l] Lógica Matemática

2002-10-08 Por tôpico Pericles
Estou precisando de material em português sobre: Lógica Proposicional Lógica de Primeira Ordem Dedução Natural Tableaux Teorema da Substituição Corretude e Completude Se alguem tiver arquivos ou souber bons sites em português sobre estes assuntos, ficaria muito grato pela ajuda.